The following commit has been merged in the master branch:
commit 87783ffa1207aaa7da634c67e319a45dd2bd942c
Author: David Paleino da...@debian.org
Date: Tue Nov 13 22:28:27 2012 +0100
Strip comments from po-files, to save some space in the tarball during
repackaging.
diff --git
The following commit has been merged in the master branch:
commit c182da6b075116b5c2f67561f3cff10da0157a25
Merge: 87783ffa1207aaa7da634c67e319a45dd2bd942c
1821c93b66ff22c83e66a066cef02429c975ea0d
Author: David Paleino da...@debian.org
Date: Tue Nov 13 22:29:00 2012 +0100
Merge tag
The following commit has been merged in the master branch:
commit 452029b970ac581564d69371c507194bcbe8465d
Author: David Paleino da...@debian.org
Date: Tue Nov 13 22:30:28 2012 +0100
Uploading to sid
diff --git a/debian/changelog b/debian/changelog
index 5696409..6be16c3 100644
---
The following commit has been merged in the master branch:
commit 3410deb8e88e0df672e1efc733f263219bde127d
Author: David Paleino da...@debian.org
Date: Tue Nov 13 22:30:12 2012 +0100
Patches refreshed
diff --git a/debian/patches/02-elemstyles.patch
b/debian/patches/02-elemstyles.patch
The following commit has been merged in the master branch:
commit 753556cdc035fb3205e3107af297273a52bfba16
Author: David Paleino da...@debian.org
Date: Tue Nov 13 22:29:45 2012 +0100
New tested snapshot.
diff --git a/debian/changelog b/debian/changelog
index 5756177..5696409 100644
---
