]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #8242 from cvrebert/patch-1 10158/head 10297/head 10473/head 20189/head 27254/head
authorMark Otto <markdotto@gmail.com>
Thu, 20 Jun 2013 19:11:39 +0000 (12:11 -0700)
committerMark Otto <markdotto@gmail.com>
Thu, 20 Jun 2013 19:11:39 +0000 (12:11 -0700)
Apply #8166 to master so folks can build a non-empty v2.3.2


Trivial merge