diff --git a/src/version.c b/src/version.c
index 72ff6582204cf1b88c2ce6042821a6a9ada05567..65cc25c59b7d96101ecefa106be1cffd59b11a52 100644
--- a/src/version.c
+++ b/src/version.c
@@ -9,10 +9,10 @@
 #include "interpret.h"
 #include "stralloc.h"
 
-RCSID("$Id: version.c,v 1.88 1998/07/20 21:46:06 hubbe Exp $");
+RCSID("$Id: version.c,v 1.89 1998/07/21 04:49:50 hubbe Exp $");
 
 void f_version(INT32 args)
 {
   pop_n_elems(args);
-  push_text("Pike v0.6 release 71");
+  push_text("Pike v0.6 release 72");
 }