[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.30+dfsg-2-3-g6c73a70

2012-01-16 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 911513c69abeed202ce07646280340f875603884 Author: Mehdi Dogguy Date: Mon Jan 16 18:09:44 2012 +0100 Fix two patches diff --git a/debian/changelog b/debian/changelog index 6bcd309..8ff4ec6 100644 --- a/debian/changelog +++ b/d

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.30+dfsg-2-3-g6c73a70

2012-01-16 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit 6c73a70de786637c8c6c7f407e12704652ea4f3d Author: Mehdi Dogguy Date: Mon Jan 16 18:12:02 2012 +0100 Setting urgency to "high" to fix those issues. diff --git a/debian/changelog b/debian/changelog index 37351e3..3d8801e 100644

[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.30+dfsg-2-3-g6c73a70

2012-01-16 Thread Mehdi Dogguy
The following commit has been merged in the master branch: commit cf2cd8089369ad06ebb3ec672a7df15a00094e1b Author: Mehdi Dogguy Date: Mon Jan 16 18:25:11 2012 +0100 Fix caduceus/frama-c issue diff --git a/debian/changelog b/debian/changelog index 8ff4ec6..37351e3 100644 --- a/debian/change

[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.30+dfsg-3, created. debian/2.30+dfsg-3

2012-01-16 Thread Mehdi Dogguy
The annotated tag, debian/2.30+dfsg-3 has been created at 18789a0871208b8f9fa3bd7aacc054e8df0eb70b (tag) tagging 6c73a70de786637c8c6c7f407e12704652ea4f3d (commit) replaces debian/2.30+dfsg-2 tagged by Mehdi Dogguy on Mon Jan 16 19:13:51 2012 +0100 - Shortlog