Merge pull request #805 from tobiasge/with-ubuntu
Using Ubuntu 22.04 because Debian has old packages
commit c53ae2afa06521f487c55c11aafea3197abb122a
2 parents 8fbedf2 + 45e7f6a
@Tobias Genannt Tobias Genannt authored on 19 Jul 2022
GitHub committed on 19 Jul 2022
Showing 2 changed files
View
Dockerfile
View
build.sh