diff --git a/src/version.c b/src/version.c
index 4adc40b0ce4dcb8ef020da9b670d27822d3b209a..72ff6582204cf1b88c2ce6042821a6a9ada05567 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.87 1998/07/20 21:42:34 hubbe Exp $");
+RCSID("$Id: version.c,v 1.88 1998/07/20 21:46:06 hubbe Exp $");
 
 void f_version(INT32 args)
 {
   pop_n_elems(args);
-  push_text("Pike v0.6 release 70");
+  push_text("Pike v0.6 release 71");
 }