Update developers.md

coq · Oct 13, 2023 · 13707f6 · 13707f6
1 parent 3f75b2c
commit 13707f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/developers.md b/docs/developers.md
@@ -110,7 +110,7 @@ To release a new version of VsCoq:
 ```shell
     git tag -s #VERSION_NUMBER
 ```
-1. Push
+3. Push
 ```shell 
     git push origin #VERSION_NUMBER
 ```