]> git.saurik.com Git - apt.git/commitdiff
merged from david
authorMichael Vogt <egon@debian-devbox>
Fri, 11 May 2012 14:21:05 +0000 (16:21 +0200)
committerMichael Vogt <egon@debian-devbox>
Fri, 11 May 2012 14:21:05 +0000 (16:21 +0200)

Trivial merge