[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.10.2-1-4-g3e4efba

2011-12-26 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 3e4efba6b8dcb6d9286ae3b51bbd55012703530a Merge: e9e2b6ce1229f9e7f881f628d58e2e980316122f cc6af5c49bac1ee05910557c75aee7856a26fecd Author: Ralf Treinen Date: Mon Dec 26 16:20:04 2011 +0100 Merge branch 'master' of git+ssh://

[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.10.2-1-4-g3e4efba

2011-12-26 Thread Ralf Treinen
The following commit has been merged in the master branch: commit e9e2b6ce1229f9e7f881f628d58e2e980316122f Author: Ralf Treinen Date: Tue Aug 2 20:57:27 2011 +0200 fix the pems of the right file diff --git a/debian/rules b/debian/rules index 9391d98..2bb6e34 100755 --- a/debian/rules +++ b

[Pkg-ocaml-maint-commits] [SCM] advi packaging branch, master, updated. debian/1.10.2-1-4-g3e4efba

2011-12-26 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 19d797d7e874cb0148433a57eaf01ff74d89d32d Author: Ralf Treinen Date: Tue Aug 2 20:50:50 2011 +0200 fix mode of example file diff --git a/debian/changelog b/debian/changelog index 1c80aba..14b5351 100644 --- a/debian/changelog