From: Mark Otto <markdotto@gmail.com>
Date: Thu, 20 Jun 2013 19:11:39 +0000 (-0700)
Subject: Merge pull request #8242 from cvrebert/patch-1
X-Git-Tag: v2.3.2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F20189%2Fhead;p=thirdparty%2Fbootstrap.git

Merge pull request #8242 from cvrebert/patch-1

Apply #8166 to master so folks can build a non-empty v2.3.2
---

d991ef2ab1b4d156c7e5d33d052d66f8eaafc460