Include revision in releases.json version

N-Wouda · neheb · commit 1b729cfadbaa · 2023-07-03T14:27:44.000-07:00
diff --git a/releases.json b/releases.json
@@ -369,7 +369,7 @@
       "croaring"
     ],
     "versions": [
-      "1.3.0"
+      "1.3.0-1"
     ]
   },
   "cxxopts": {
