[Pkg-ocaml-maint-commits] [alt-ergo] 15/15: + changelog entry: new upstream release

[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 18bc16a8c5c1518b54893c12c549459607f50be3
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Tue Nov 5 16:44:13 2013 +0100

    + changelog entry: new upstream release
---
 debian/changelog |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 828bce8..7146a79 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,10 @@
 alt-ergo (0.95.2-1) UNRELEASED; urgency=low
 
-  * update debian/watch, now points to ocamlpro site.
-  * refresh patch 0001-No-need-to-activate-debug-flag.patch
-  * drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
-    the file test.mlw is no longer relevant. Add in debian/rules and overwrite
-    for dh_auto_test to select the right test target.
+  * New upstream release.
+  * Update debian/watch, now points to ocamlpro site.
+  * Refresh patch 0001-No-need-to-activate-debug-flag.patch
+  * Drop patch 0002-Do-not-run-the-test-if-test.mlw-is-absent-and-use-be.patch:
+    the file test.mlw is no longer relevant.
   * drop patches that have been applied by upstream:
     - 0003-Fix-a-typo.patch
     - 0004-Add-rules-and-targets-for-gui.byte.patch

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