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
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
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
3 matches
Mail list logo