]> git.donarmstrong.com Git - debian/debian-policy.git/commitdiff
Merge branch 'master' into bug23712-rra
authorRuss Allbery <rra@debian.org>
Thu, 7 Apr 2011 17:45:20 +0000 (10:45 -0700)
committerRuss Allbery <rra@debian.org>
Thu, 7 Apr 2011 17:45:20 +0000 (10:45 -0700)

Trivial merge