Merge pull request #209 from wrapl/dev

dev
wrapl · Jul 15, 2024 · 53adc72 · 53adc72
2 parents c22b5cc + cacc1b7
commit 53adc72
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/debian/changelog b/debian/changelog
@@ -1,4 +1,4 @@
-rabs (2.30.11) UNRELEASED; urgency=medium
+rabs (2.30.12) UNRELEASED; urgency=medium
 
   * Updates.
   * Updates.
@@ -61,5 +61,7 @@ rabs (2.30.11) UNRELEASED; urgency=medium
   * Updates.
   * Updates.
   * Updates.
+  * Updates.
+  * Updates.
 
- -- Raja Mukherji <raja@hinano>  Tue, 09 Jul 2024 08:50:12 +0100
+ -- Raja Mukherji <raja@hinano>  Mon, 15 Jul 2024 18:39:00 +0100
diff --git a/minilang b/minilang
diff --git a/src/rabs.h b/src/rabs.h
@@ -30,7 +30,7 @@ extern __thread target_t *CurrentTarget;
 ml_value_t *rabs_global(const char *Name);
 ml_value_t *rabs_ml_global(void *Data, const char *Name, const char *Source, int Line, int Mode);
 
-#define CURRENT_VERSION 2, 30, 11
+#define CURRENT_VERSION 2, 30, 12
 #define MINIMAL_VERSION 2, 10, 0
 
 #endif