Merge branch 'master' into 74-integration-with-bookmarks-core-plugin

SebastianMC · Jun 30, 2023 · 5a8d375 · 5a8d375
2 parents 5304c9d + 8e6ed50
commit 5a8d375
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/versions.json b/versions.json
@@ -27,6 +27,6 @@
 	"1.6.3": "0.15.0",
 	"1.7.0": "0.15.0",
 	"1.7.1": "0.15.0",
-	"1.7.2": "0.15.0"
+	"1.7.2": "0.15.0",
 	"1.8.0": "0.15.0"
 }