[Pkg-ocaml-maint-commits] [SCM] extlib packaging branch, master, updated. debian/1.5.2-1-9-g4259745

2013-05-11 Thread Lifeng Sun
The following commit has been merged in the master branch: commit 3a527ff71695ac1a9d3240ec839378dd6309520b Merge: f0ab99a4f80d3f6d84736bdb13a09402a8ba6c55 b41472c90f70ea675f05913994b94568db5ab29e Author: Lifeng Sun lifong...@gmail.com Date: Sun May 12 07:44:52 2013 +0800 Merge tag

[Pkg-ocaml-maint-commits] [SCM] extlib packaging branch, master, updated. debian/1.5.2-1-9-g4259745

2013-05-11 Thread Lifeng Sun
The following commit has been merged in the master branch: commit 4259745932e4e1b56a9c00be334ab5613e5d7bd6 Author: Lifeng Sun lifong...@gmail.com Date: Sun May 12 07:48:08 2013 +0800 Bump Standards-Version to 3.9.4. diff --git a/debian/changelog b/debian/changelog index e1c7440..707d3b2