diff --git a/src/version.h b/src/version.h
index d34fe6d7eb08ca43d64bfd155306c9e8e478a5fa..b19553636ba3b05c850f7d407995f8d1c661a149 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.275 2001/06/29 23:11:34 hubbe Exp $ */
+/* $Id: version.h,v 1.276 2001/07/08 19:55:05 grubba Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 3
-#define PIKE_BUILD_VERSION 7
+#define PIKE_BUILD_VERSION 9
 
 /* Prototypes begin here */
 void f_version(INT32 args);