From f7ce400c37d3308122195fd70fa79dff7aac00e3 Mon Sep 17 00:00:00 2001
From: Richard Hartmann <richih@debian.org>
Date: Thu, 8 May 2014 13:46:37 +0200
Subject: [PATCH 1/1] Release v1.20140508

---
 changelog | 4 ++++
 vcsh      | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/changelog b/changelog
index 98b1701..3e8029e 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+2014-05-08  Richard Hartmann <richih.mailinglist@gmail.com>
+
+	* Revert "Introduce static manpage as part of normal repo"
+
 2014-05-07  Richard Hartmann <richih.mailinglist@gmail.com>
 
 	* Increase portability
diff --git a/vcsh b/vcsh
index f1c1017..b675edd 100755
--- a/vcsh
+++ b/vcsh
@@ -19,7 +19,7 @@
 # If '.git-HEAD' is appended to the version, you are seeing an unreleased
 # version of vcsh; the master branch is supposed to be clean at all times
 # so you can most likely just use it nonetheless
-VERSION='1.20140507'
+VERSION='1.20140508'
 SELF=$(basename $0)
 
 fatal() {
-- 
2.39.2