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

Trivial merge