From a0931b1372b8a17fd098737e0710e548a92f4717 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Tue, 3 Oct 2000 00:29:50 +0200
Subject: [PATCH] release number bumped to 10 by export.pike

Rev: src/version.h:1.201
---
 src/version.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/version.h b/src/version.h
index f96b6c11ed..526a6792bf 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.200 2000/10/02 12:56:24 grubba Exp $ */
+/* $Id: version.h,v 1.201 2000/10/02 22:29:50 grubba Exp $ */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 1
-#define PIKE_BUILD_VERSION 9
+#define PIKE_BUILD_VERSION 10
 
 /* Prototypes begin here */
 void f_version(INT32 args);
-- 
GitLab