[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-6-g20a6c18

2012-02-06 Thread Ralf Treinen
The following commit has been merged in the master branch: commit cdb7ca70024738d52056a841b736a174becb9ace Author: Ralf Treinen trei...@debian.org Date: Mon Feb 6 16:44:26 2012 +0100 add .pc diff --git a/.gitignore b/.gitignore index e5553ea..bc827ce 100644 --- a/.gitignore +++

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-6-g20a6c18

2012-02-06 Thread Ralf Treinen
The following commit has been merged in the master branch: commit a498f1d861698320aac2c8405153803ab597eef7 Author: Ralf Treinen trei...@debian.org Date: Mon Feb 6 16:43:02 2012 +0100 adapt patch binaries-prefix-edos diff --git a/debian/patches/binaries-prefix-edos

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-6-g20a6c18

2012-02-06 Thread Ralf Treinen
The following commit has been merged in the master branch: commit 20a6c18256e251361741bd79002062fec8b4e911 Author: Ralf Treinen trei...@debian.org Date: Mon Feb 6 19:59:40 2012 +0100 undo accidential direct edits in the master branch diff --git a/applications/distcheck.ml