Docker updates#8

taniwallach wants to merge 1 commit into

openwebwork:developopenwebwork/renderer:developfrom

taniwallach:docker-updates-2022-09-21taniwallach/renderer:docker-updates-2022-09-21Copy head branch name to clipboard