Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #556 from dbmdz/ci-ubuntu-update
CI: Update version of Ubuntu image
- Loading branch information