Updated version and assets for release v23.02.1

diff --git a/version b/version
index e07f6a10745a2bca073eb9df1510f4b987e0e04c..020e77db7fa79fcb300356b267bf07a747b2be66 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-v23.02
+v23.02.1