2003/06/16 09:08:55

darcs-hash:20040130070123-3ac31-433ebef9a639797d93e7da829a6c3c98c6777e0e.gz

diff --git a/CHANGES b/CHANGES
index e83e19c..ca3fdf2 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -822,3 +822,5 @@
 16-Jun =========== build 0710 ================================================
 
 16-Jun =========== build 0711 ================================================
+
+16-Jun =========== build 0712 ================================================

diff --git a/next.build b/next.build
index ef15105..01af7ad 100644 (file)
--- a/next.build
+++ b/next.build
@@ -1 +1 @@
-0712
+0713