bump doc

PaulBlanche · Aug 18, 2023 · e5b17d0 · e5b17d0
1 parent ead7325
commit e5b17d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/contents/doc/toc.json b/doc/src/contents/doc/toc.json
@@ -2,7 +2,7 @@
     "0.9": {
         "version": "0.9",
         "variables": {
-            "FRUGAL_VERSION": "0.9.4",
+            "FRUGAL_VERSION": "0.9.5",
             "PREACT_VERSION": "10.13.1",
             "PREACT_SIGNAL_VERSION": "1.1.5",
             "PREACT_RENDER_VERSION": "5.2.6",