release number bumped to 71 by export.pike

Rev: packaging/debian/changelog:1.107
Rev: src/version.h:1.425

packaging/debian/changelog

+pike7.7 (7.7.71-1) experimental; urgency=low
+
+  * The latest cvs snapshot
+
+ -- Marek Habersack <grendel@debian.org>  Sat, 5 Jul 2008 14:22:28 +0200
+
 pike7.7 (7.7.70-1) experimental; urgency=low
 
   * Release number bumped by export.pike.

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.424 2008/07/05 12:20:25 distmaker Exp $
+|| $Id: version.h,v 1.425 2008/07/05 12:22:27 distmaker Exp $
 */
 
 #define PIKE_MAJOR_VERSION 7
 #define PIKE_MINOR_VERSION 7
-#define PIKE_BUILD_VERSION 70
+#define PIKE_BUILD_VERSION 71
 
 /* Prototypes begin here */
 void f_version(INT32 args);