diff --git a/src/version.h b/src/version.h
index b34aa09802baebc1120433b8caaf6a34213e2170..36c71f800fd49cb4e8b51da8887abc9522f34672 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.285 2002/03/19 20:56:16 agehall%shadowbyte.com Exp $ */
+/* $Id: version.h,v 1.286 2002/04/06 20:16:48 mikael%unix.pp.se Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 3
-#define PIKE_BUILD_VERSION 18
+#define PIKE_BUILD_VERSION 19
 
 /* Prototypes begin here */
 void f_version(INT32 args);