Merge "(bug 578) Fix installer on Ubuntu 18.04"
[osm/devops.git] / tools / deletetag.sh
2017-07-13 garciadeblasTools to automate repo updates, tag creation and deletion 29/2029/1