RELEASING: sign release tags

mhagger · mhagger · commit 2e9a30f241ac · 2018-03-11T16:15:28.000+01:00
diff --git a/docs/RELEASING.md b/docs/RELEASING.md
@@ -3,7 +3,7 @@
 1.  Create a release tag and push it to GitHub:
 
         VERSION=1.2.3
-        git tag -a v$VERSION
+        git tag -as v$VERSION
         git push origin v$VERSION
 
 2.  Build the release for the major platforms:
