[Pkg-ocaml-maint-commits] [alt-ergo] 04/06: new upstream

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit 34925bcb3f2073f96d0f997031a9966f9b0eec84
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 28 20:15:46 2016 +0100

    new upstream
---
 debian/changelog | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index f428ea7..effdb0a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
-alt-ergo (0.99.1+dfsg1-5) UNRELEASED; urgency=medium
+alt-ergo (1.01-1) UNRELEASED; urgency=medium
 
+  * new upstream version.
   * debian/watch: version 4. Add option pgpsigurlmangle.
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 28 Feb 2016 20:03:22 +0100
+ -- Ralf Treinen <treinen at debian.org>  Sun, 28 Feb 2016 20:15:31 +0100
 
 alt-ergo (0.99.1+dfsg1-4) unstable; urgency=low
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git