debdev: updates
authorMartin Pitt <martin@piware.de>
Sat, 29 Jul 2017 20:47:47 +0000 (22:47 +0200)
committerMartin Pitt <martin@piware.de>
Sat, 29 Jul 2017 20:47:47 +0000 (22:47 +0200)
commit0c79278618e908ea537400bc9f6a69e3f7e2e313
tree76db65e433b5aec492af7f5397c223c3696fff10
parent81521260ca798078f5b4c8540d3debb76fcd7ad2
debdev: updates
debdev