[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 8a677e4d7ad07b7feeb64435e1349f2423bc73ba Merge: 36db5341f647dae0a3add66a71a4e365793f1ad3 a577362b2a8bcfd5b21d5f825cb603221e1df406 Author: Hendrik Tews hend...@askra.de Date: Tue May 22 21:35:07 2012 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 7fb9ce234eab0782989307a4b65176245e25c32f Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:23:07 2012 +0200 add README.hints diff --git a/debian/README.hints b/debian/README.hints new file mode 100644 index

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit c1ba134e68140bce01dc9cb4134677b57baa790e Merge: 7fb9ce234eab0782989307a4b65176245e25c32f 12f9bf66a102bc5e53d79deee6640d4b161f30e1 Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:24:28 2012 +0200 Merge tag

[Pkg-ocaml-maint-commits] [SCM] otags packaging branch, master, updated. debian/3.12.3-1-7-g482133d

2012-05-23 Thread Hendrik Tews
The following commit has been merged in the master branch: commit 482133d74f4b8771ffeafe484cb6b4205e441dd6 Author: Hendrik Tews hend...@askra.de Date: Wed May 23 22:31:34 2012 +0200 adapt changelog diff --git a/debian/changelog b/debian/changelog index c324770..7a68785 100644 ---