Skip to content

Merge after #1160 - Docker - update to using Ubuntu 20.04 + minor changes related to recent PRs#1242

Merged
drgrice1 merged 11 commits intoopenwebwork:developfrom taniwallach:docker-to-ubuntu-2004Mar 26, 2021

Commits

Commits on Mar 21, 2021

Commits on Mar 22, 2021

Commits on Mar 26, 2021