Merge "(bug 578) Fix installer on Ubuntu 18.04"
[osm/devops.git] / tools / getbuild.py
2017-07-25 Mike MarchettiAdd tools to release to repo 39/2039/1