The following commit has been merged in the master branch:
commit f188023dab3b0f4e0c4cb8dfa137c7748186a87b
Author: Mehdi Dogguy
Date: Sat Apr 23 18:50:16 2011 +0200
No need to exclude custom bytecode binaries when running dh_strip
diff --git a/debian/changelog b/debian/changelog
index 3032
The following commit has been merged in the master branch:
commit 17eab41af7680548f95442a21e42055bd8e8bf90
Author: Mehdi Dogguy
Date: Sat Apr 23 18:40:59 2011 +0200
Add fix for issue 727
diff --git a/debian/changelog b/debian/changelog
index 4f75129..3032aff 100644
--- a/debian/changelog
+
The following commit has been merged in the master branch:
commit 293a03142ad93954273864d9dc640b25e075d8f9
Author: Mehdi Dogguy
Date: Fri Apr 15 23:08:02 2011 +0200
Fix Categories field in frama-c.desktop (Closes: #610432) (LP: #613853).
diff --git a/debian/changelog b/debian/changelog
ind
The following commit has been merged in the master branch:
commit f5a9b1a8cf2a9f797b73036629bac7646b791fc2
Author: Mehdi Dogguy
Date: Fri Apr 15 22:23:25 2011 +0200
New upstream release
- Update copyright file.
- Remove all patches, integrated by upstream.
diff --git a/debia
The following commit has been merged in the master branch:
commit 2415f504b6a315816f5ee6551c23592970dc6d21
Merge: 060d85847bc8d3287d88900317214b8538b5e6ca
6e7820bfdceae2ad99815a88094a9db445fad25a
Author: Mehdi Dogguy
Date: Fri Apr 15 21:45:17 2011 +0200
Merge commit 'upstream/20110201+carb
The following commit has been merged in the master branch:
commit 060d85847bc8d3287d88900317214b8538b5e6ca
Author: Mehdi Dogguy
Date: Fri Apr 15 21:44:12 2011 +0200
No need to filter out src/{impact,security} from tarball
diff --git a/debian/gbp.conf b/debian/gbp.conf
index c8c1dca..1d8345
6 matches
Mail list logo