release number bumped by export.pike

Rev: src/version.c:1.65

src/version.c

@@ -9,10 +9,10 @@
 #include "interpret.h"
 #include "stralloc.h"
 
-RCSID("$Id: version.c,v 1.64 1998/06/08 17:59:23 grubba Exp $");
+RCSID("$Id: version.c,v 1.65 1998/06/09 06:14:49 hubbe Exp $");
 
 void f_version(INT32 args)
 {
   pop_n_elems(args);
-  push_text("Pike v0.6 release 47");
+  push_text("Pike v0.6 release 48");
 }