[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.0-1-11-g12ad138

The following commit has been merged in the master branch: commit ca9efbc0a7614691b08e00daffb30e7eefe92048 Merge: 1d84a87bdb5dc9cf59f2455c3b8e5a63c3fa9529 410c8e8dd0ad0815179d35f84540581ac3db215b Author: Ralf Treinen trei...@free.fr Date: Fri Apr 1 12:07:55 2011 +0200 Merge commit

[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.0-1-11-g12ad138

The following commit has been merged in the master branch: commit 12ad138ae6e5367e317df41c3ee912a916fc76f3 Author: Ralf Treinen trei...@free.fr Date: Fri Apr 1 12:09:26 2011 +0200 new upstream 2.9.2 diff --git a/debian/changelog b/debian/changelog index 379c600..9288320 100644 ---