[Pkg-ocaml-maint-commits] [SCM] cduce packaging branch, master, updated. debian/0.5.4-1-3-ga7b3d0f

2012-03-01 Thread Stephane Glondu
The following commit has been merged in the master branch: commit a7b3d0f2b9521310f048f34246f40f2492461416 Author: Stephane Glondu Date: Fri Mar 2 07:51:43 2012 +0100 New upstream release diff --git a/debian/changelog b/debian/changelog index a5a02d4..23c0804 100644 --- a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] cduce packaging branch, master, updated. debian/0.5.4-1-3-ga7b3d0f

2012-03-01 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 7ee905ba6ec971c43fb05c68f6e551aec3f7 Merge: 4c79f00f3d3777ff6f2f83558335b0ebdfb55878 e4a75f63fdbda588ac4b4f60c1bd6b1df7ced590 Author: Stephane Glondu Date: Fri Mar 2 07:51:33 2012 +0100 Merge tag 'upstream/0.5.5'