]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Merge branch 'master' of ssh://git.debian.org/git/dbnpolicy/policy
authorBill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
Sat, 22 Nov 2014 14:55:26 +0000 (15:55 +0100)
committerBill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
Sat, 22 Nov 2014 14:55:26 +0000 (15:55 +0100)

Trivial merge