From 26bffd8a4ae323fe04598a695a84495f0cbd2dea Mon Sep 17 00:00:00 2001
From: Build system <distmaker@roxen.com>
Date: Tue, 8 Jul 2008 19:04:29 +0200
Subject: [PATCH] release number bumped to 72 by export.pike

Rev: packaging/debian/changelog:1.108
Rev: src/version.h:1.426
---
 packaging/debian/changelog | 6 ++++++
 src/version.h              | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/packaging/debian/changelog b/packaging/debian/changelog
index 8051b8e178..dd1d34b043 100644
--- a/packaging/debian/changelog
+++ b/packaging/debian/changelog
@@ -1,3 +1,9 @@
+pike7.7 (7.7.72-1) experimental; urgency=low
+
+  * Release number bumped by export.pike.
+
+ -- Marek Habersack <grendel@debian.org>  Tue, 8 Jul 2008 19:04:29 +0200
+
 pike7.7 (7.7.71-1) experimental; urgency=low
 
   * The latest cvs snapshot
diff --git a/src/version.h b/src/version.h
index 3f1e0495cb..14f975b681 100644
--- a/src/version.h
+++ b/src/version.h
@@ -2,12 +2,12 @@
 || This file is part of Pike. For copyright information see COPYRIGHT.
 || Pike is distributed under GPL, LGPL and MPL. See the file COPYING
 || for more information.
-|| $Id: version.h,v 1.425 2008/07/05 12:22:27 distmaker Exp $
+|| $Id: version.h,v 1.426 2008/07/08 17:04:28 distmaker Exp $
 */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 7
-#define PIKE_BUILD_VERSION 71
+#define PIKE_BUILD_VERSION 72
 
 /* Prototypes begin here */
 void f_version(INT32 args);
-- 
GitLab