Version bump for release 0.8.

diff --git a/NEWS b/NEWS
index 1b53c439e74ba81b0c6d3adcdc1a9467a4f06c52..bca0ecfc4ab76b04ca211f10f6c150d0926f87b8 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,7 @@
                        src project news
 
-Repository head:
+
+0.8: 2014-11-14
    A branch label names the tip revision of its branch.
    src log and src list skip ignored and unregistered files in arguments.
    The embedded help has been enriched and now features multiple topics.

diff --git a/src b/src
index 98b45573d0ef5c8cee857092c5f6b88f908d9d2d..a6b4bbfdb2dee94a168c7451f5fea32c448c8e01 100755 (executable)
--- a/src
+++ b/src
@@ -56,7 +56,7 @@
 
 import sys, os, subprocess, time, calendar, stat, glob, shutil
 
-version=0.7
+version=0.8
 
 def screenwidth():
     "Return the current width of the terminal window."