increment version number to 0.23.13

2023-05-21 20:29:23 +02:00
parent d91da96798
commit 258830e913
2 changed files with 3 additions and 1 deletions
--- a/2
+++ b/2
@@ -1,3 +1,5 @@
+ver 0.23.13 (not yet released)
+
 ver 0.23.12 (2023/01/17)
 * input
  - curl: require CURL 7.55.0 or later