[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4.2-11-23-gf5850e5

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 996426c04a17c2503337d02bf7a1bdeae0d0c0ea
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Feb 13 11:25:51 2011 +0100

    this is version -12, not -13

diff --git a/debian/changelog b/debian/changelog
index 305ddbf..befb3e8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-pkglab (1.4.2-13) UNRELEASED; urgency=low
+pkglab (1.4.2-12) UNRELEASED; urgency=low
 
   * Downgrade priority to extra, since dose2 has priority extra now.
     Thanks to Luca Falavigna for the hint.
@@ -6,16 +6,11 @@ pkglab (1.4.2-13) UNRELEASED; urgency=low
   * edos-builddebcheck: read the binary package file directly using
     the "-I" option, instead of merging it with the source packages
     (closes: #582951). Thanks a lot to Andi Barth for the idea!
-
- -- Ralf Treinen <treinen at debian.org>  Sun, 13 Feb 2011 11:12:01 +0100
-
-pkglab (1.4.2-12) unstable; urgency=low
-
   * Fix a typo in the long description of edos-distcheck (closes: #603831).
   * Standards-Version: 3.9.1 (no change).
 
- -- Ralf Treinen <treinen at debian.org>  Sat, 20 Nov 2010 10:56:55 +0100
-  
+ -- Ralf Treinen <treinen at debian.org>  Sun, 13 Feb 2011 11:12:01 +0100
+
 pkglab (1.4.2-11) unstable; urgency=low
 
   * Fix a bug in the handling of the options -base and -add-source

-- 
pkglab packaging