Merge pull request #2867 from dgazineu/patch-1 for-14.07
authorDaniel Golle <[email protected]>
Thu, 16 Jun 2016 21:26:36 +0000 (23:26 +0200)
committerGitHub <[email protected]>
Thu, 16 Jun 2016 21:26:36 +0000 (23:26 +0200)
debootstrap: Filename, version and MD5SUM


Trivial merge