Unnamed repository; edit this file 'description' to name the repository.
Fix the VERSION file
Blaž Hrastnik 2022-05-28
parent b317881 · commit 27609f5
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 4c3f332e..bb7635c7 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-22.05-dev \ No newline at end of file
+22.05 \ No newline at end of file