[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. debian/20120530-1-5-g1b178e5

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 7de856ad5917aa0112c237d8252fd5a4318f4802
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sun Jun 10 22:13:13 2012 +0200

    update changelog

diff --git a/debian/changelog b/debian/changelog
index 8141026..6294e5f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+hol-light (20120602-1) unstable; urgency=low
+
+  * new upstream version revision 146 from 2012-06-02
+  * remove holtest-dependency-hint patch
+  * refresh remaining patches
+
+ -- Hendrik Tews <hendrik at askra.de>  Sun, 10 Jun 2012 21:59:35 +0200
+
 hol-light (20120530-1) unstable; urgency=low
 
   * new upstream version revision 141 from 2012-05-30

-- 
hol-light packaging