chiark / gitweb /
Documentation and webpage updates
[adns.git] / convert
diff --git a/convert b/convert
index 91f62d2..a0f4e8f 100755 (executable)
--- a/convert
+++ b/convert
@@ -81,6 +81,8 @@ END
        git tag -f actual
        git reset master
        git checkout master
+ else
+       git tag -f actual
  fi)
 
 git checkout master