update stable to point to 0.23

adrinjalali · adrinjalali · commit db8341559a30 · 2020-05-12T19:19:38.000+02:00
diff --git a/stable b/stable
@@ -1 +1 @@
-0.22
+0.23
diff --git a/versionwarning.js b/versionwarning.js
@@ -1,5 +1,5 @@
 (function() {
-    var latestStable = '0.22';
+    var latestStable = '0.23';
     var goodPaths = ['stable', 'dev', latestStable];
     var showWarning = (msg) => {
         $('.body[role=main]').prepend(
