Merge branch 'update_dockerfile' into 'master'
Cresson Remi authored
Update Dockerfile

See merge request !10
ff56a754
Name Last commit Last update