[Pkg-ocaml-maint-commits] [alt-ergo] 03/03: rename patch 0001-dont-activate-debug-flag

[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 2462707c7b2b9de3919661b9d82da34959f58ddf
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 26 20:49:42 2015 +0200

    rename patch 0001-dont-activate-debug-flag
---
 debian/changelog                                                    | 6 ++++--
 ...d-to-activate-debug-flag.patch => 0001-dont-activate-debug-flag} | 0
 debian/patches/series                                               | 2 +-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index b5677e0..536a8db 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-alt-ergo (0.99.1+dfsg1-3) UNRELEASED; urgency=medium
+alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium
 
   * debian/control: fix domain name in Vcs fields
   * explicitly set the build date to the date of the last changelog entry
@@ -8,8 +8,10 @@ alt-ergo (0.99.1+dfsg1-3) UNRELEASED; urgency=medium
     - debian/rules: pass the correct value of the build date to the Makefile
     Thanks to Juan Picca <jumapico at gmail.com> and Jakub Wilk <jwilk at debian.org>
     for the patch!
+  * rename patch 0001-dont-activate-debug-flag to be consistent with other
+    patches
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 26 May 2015 20:42:40 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 26 May 2015 20:48:35 +0200
 
 alt-ergo (0.99.1+dfsg1-2) unstable; urgency=low
 
diff --git a/debian/patches/0001-No-need-to-activate-debug-flag.patch b/debian/patches/0001-dont-activate-debug-flag
similarity index 100%
rename from debian/patches/0001-No-need-to-activate-debug-flag.patch
rename to debian/patches/0001-dont-activate-debug-flag
diff --git a/debian/patches/series b/debian/patches/series
index 4220390..3f3c7ec 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,3 @@
-0001-No-need-to-activate-debug-flag.patch
+0001-dont-activate-debug-flag
 0002-non-free-dropped
 0003-allow-set-build-date
\ No newline at end of file

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