]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Merge branch 'bug707851-plessy'
authorCharles Plessy <plessy@debian.org>
Sat, 15 Feb 2014 02:46:12 +0000 (11:46 +0900)
committerCharles Plessy <plessy@debian.org>
Sat, 15 Feb 2014 02:46:12 +0000 (11:46 +0900)

Trivial merge