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