The following commit has been merged in the master branch:
commit a765fe561bc63049b4237526d2168f0809c9f273
Merge: f0120af2f35c241b93f5b40d99437f5874b328c9
5246193b719cd2302396cbb400af3e59d6c1c9f0
Author: David Paleino da...@debian.org
Date: Wed Dec 19 22:58:12 2012 +0100
Merge tag
The following commit has been merged in the master branch:
commit b7e1e1c30d54cad7d0ae7512cb6944035d28108a
Merge: 0d70afb6a04f8ed2dbd08695d6e63d0c4e13d4a1
ead9b39d9d87b657976c5cf80f2903d3320b5a44
Author: David Paleino da...@debian.org
Date: Wed Dec 19 23:28:50 2012 +0100
Merge