Merge pull request #1342 from rzellem/jpl-jengelke-patch-1

Rev version for EXOTIC 4.2.3 HOTFIX
rzellem · Nov 5, 2024 · 65def6a · 65def6a
2 parents c96445e + a406104
commit 65def6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/exotic/version.py b/exotic/version.py
@@ -1 +1 @@
-__version__ = '4.2.2'
+__version__ = '4.2.3'