[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, experimental/master, updated. debian/3.0.2-3-13-ge34a315

[Ralf Treinen]

The following commit has been merged in the experimental/master branch:
commit e34a315aafac08ba3377f17c84a1cc40d520ccfc
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Wed Oct 17 11:07:51 2012 +0200

    new upstream 3.1.2

diff --git a/debian/changelog b/debian/changelog
index d8ecad0..54d1568 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-dose3 (3.1.1-1) UNRELEASED; urgency=low
+dose3 (3.1.2-1) UNRELEASED; urgency=low
 
   * New upstream version. This version fixes the invocation of the clean
     target in doc/ makefiles (closes: #687651).

-- 
dose3 packaging