Commit 10c1abc5 authored by G.J.R. Timmer's avatar G.J.R. Timmer

Merge branch 'gjr.timmer-master-patch-57161' into 'master'

Update Dockerfile

See merge request !1
parents a333938e 52106bb9
Pipeline #2567 failed with stage
in 15 minutes and 13 seconds