Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
There was a typo in the instructions to build the docker images. This commit fixes that typo. The URL of the git repo was also using an unofficial version, that is now also fixed.
- Loading branch information