Merge pull request #2867 from dgazineu/patch-1 for-14.07 13722/head 5949/head
authorDaniel Golle <dangowrt@users.noreply.github.com>
Thu, 16 Jun 2016 21:26:36 +0000 (23:26 +0200)
committerGitHub <noreply@github.com>
Thu, 16 Jun 2016 21:26:36 +0000 (23:26 +0200)
debootstrap: Filename, version and MD5SUM


Trivial merge