Merge pull request #4216 from sschoen/Feature/docker

updated docker.build.sh script

Ylian Saint-Hilaire committed Jul 2, 2022 at 11:47 UTC 0ad93f85ec8a8781b65c9af4b8d51b2326b61111

No changes.