The following commit has been merged in the master branch:
commit 3af0b7c26da52744812cd0366931f9a430cbd28a
Merge: 4eafbb671676235ba43ed5cb4cb938e1350d7455
56bcf69a01e0aef2d7cef6ff99c8272b9ee141cf
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 19:17:45 2011 +0200
Merge commit
The following commit has been merged in the master branch:
commit e9f442668297320d12516ef7809d25c08fc98082
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 19:18:29 2011 +0200
New upstream release.
diff --git a/debian/changelog b/debian/changelog
index 3901542..5c48c2c 100644
---
The following commit has been merged in the master branch:
commit 803f7b7acf5b92ee48c8ced028e6af49118a82b7
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 19:21:35 2011 +0200
Remove some old patches
diff --git a/debian/changelog b/debian/changelog
index 5c48c2c..3c55bab 100644
---
The following commit has been merged in the master branch:
commit a7fb8de4873eeae208c2b0684266473e426c3359
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 20:08:14 2011 +0200
Mark Alt-Ergo 0.93 as compatible
diff --git a/debian/changelog b/debian/changelog
index 8f36f6a..f540ec8
The following commit has been merged in the master branch:
commit a4ea4f3e71906dc18f9d47974ad8016a8faced4e
Author: Mehdi Dogguy me...@debian.org
Date: Sat Apr 23 20:16:36 2011 +0200
Fix FTBFS due to non-exhaustive pattern matching
diff --git a/debian/changelog b/debian/changelog
index
The following commit has been merged in the master branch:
commit f677c3aea0c48fce0d264d178863de50daa88a86
Author: Mehdi Dogguy me...@debian.org
Date: Sun Apr 24 20:14:06 2011 +0200
Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.
diff --git a/debian/changelog
6 matches
Mail list logo