This is a hotfix for the Docker images that were not being pushed to Docker hub. The changes are already in devel and melodic, but should be pushed to kinetic as well. Since there hasn't been a pull request to devel in a long while, I would suggest that we consider making one if it's stable enough.
This is a hotfix for the Docker images that were not being pushed to Docker hub. The changes are already in
develandmelodic, but should be pushed tokineticas well. Since there hasn't been a pull request todevelin a long while, I would suggest that we consider making one if it's stable enough.