Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update header to use header element instead of div (#4002)
Update the site header to use a `header` element instead of a `div`. Closes #3974
- Loading branch information