diff --git a/src/version.h b/src/version.h
index 01c05e3a8fbf7091916459bc24df69d0d904e3b7..80f1c7ecd0f147a8fbf7f9ed39a67ce7b97badaf 100644
--- a/src/version.h
+++ b/src/version.h
@@ -4,11 +4,11 @@
 ||| See the files COPYING and DISCLAIMER for more information.
 \*/
 
-/* $Id: version.h,v 1.143 2000/03/27 00:34:27 hubbe Exp $ */
+/* $Id: version.h,v 1.144 2000/03/27 05:05:31 peter Exp $ */
 
 #define PIKE_MAJOR_VERSION 0
 #define PIKE_MINOR_VERSION 7
-#define PIKE_BUILD_VERSION 141
+#define PIKE_BUILD_VERSION 142
 
 /* Prototypes begin here */
 void f_version(INT32 args);