Fixes bug 1254 and bug 1247
[osm/devops.git] / jenkins / release /
drwxr-xr-x   ..
-rwxr-xr-x 615 delete-tag.sh
-rwxr-xr-x 1285 new-tag.sh