Merge pull request #118 from tezeb/patch-1
authorEli Bendersky <eliben@users.noreply.github.com>
Thu, 6 Oct 2016 13:50:48 +0000 (06:50 -0700)
committerGitHub <noreply@github.com>
Thu, 6 Oct 2016 13:50:48 +0000 (06:50 -0700)
Check for header attribute when comparing


Trivial merge