synched

arminbiere · Feb 13, 2023 · 84b4439 · 84b4439
1 parent a5f1521
commit 84b4439
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/NEWS.md b/NEWS.md
@@ -1,4 +1,4 @@
-Version 1.5.2
+Version 1.5.3
 -------------
 
 - more copyright updates in banner

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.5.2
+1.5.3