Merge PR coq#7008: Bump version number to 8.9+alpha1

validsdp · Jun 12, 2018 · 7e7aa74 · 7e7aa74
2 parents ab4bce3 + b9532ef
commit 7e7aa74
Show file tree

Hide file tree

Showing 3 changed files with 50 additions and 50 deletions.
diff --git a/.bintray.json b/.bintray.json
@@ -6,7 +6,7 @@
     },
 
     "version": {
-        "name": "8.8+alpha"
+        "name": "8.9+alpha"
     },
 
     "files":