]> git.ipfire.org Git - thirdparty/bootstrap.git/commitdiff
Merge pull request #9347 from kevinSuttle/header
authorMark Otto <markdotto@gmail.com>
Sun, 11 Aug 2013 21:09:46 +0000 (14:09 -0700)
committerMark Otto <markdotto@gmail.com>
Sun, 11 Aug 2013 21:09:46 +0000 (14:09 -0700)
Ensure proper use and location of role="banner"


Trivial merge