Unnamed repository; edit this file 'description' to name the repository.
set VERSION file to dev (#1883)
* set VERSION file to dev * bump to 22.05-dev
Michael Davis 2022-03-31
parent d15c875 · commit ef91b65
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 24b26747..4c3f332e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-22.03 \ No newline at end of file
+22.05-dev \ No newline at end of file