1 files changed, 1 insertions, 1 deletions

diff --git a/version.c b/version.c
index 2d45486..880814e 100644
--- a/version.c
+++ b/version.c
@@ -1,4 +1,4 @@
-char *version_string = "3.72.11";
+char *version_string = "3.72.12";
 
 /*
   Local variables: