The following commit has been merged in the master branch:
commit 7de856ad5917aa0112c237d8252fd5a4318f4802
Author: Hendrik Tews
Date: Sun Jun 10 22:13:13 2012 +0200
update changelog
diff --git a/debian/changelog b/debian/changelog
index 8141026..6294e5f 100644
--- a/debian/changelog
+++ b/
The following commit has been merged in the master branch:
commit 1b178e5e97d09de4a500ccf103454e315a067ddc
Author: Hendrik Tews
Date: Sun Jun 10 22:16:54 2012 +0200
refresh patch holtest-no-proof-recording
diff --git a/debian/patches/holtest-no-proof-recording.patch
b/debian/patches/holte
The following commit has been merged in the master branch:
commit 06491d805f34c353f5b5d03d415b8df64e3deb0e
Author: Hendrik Tews
Date: Sun Jun 10 21:54:04 2012 +0200
unapply debian patches, remove holtest-dependency-hint patch
diff --git a/.pc/.quilt_patches b/.pc/.quilt_patches
deleted fil
The following commit has been merged in the master branch:
commit c07a1731356133df273679ee375c3f9679a87413
Merge: 06491d805f34c353f5b5d03d415b8df64e3deb0e
91b9649a74715d563d525b311b754324852c0794
Author: Hendrik Tews
Date: Sun Jun 10 21:57:02 2012 +0200
Merge tag 'upstream/20120602'
4 matches
Mail list logo