Merge pull request #2084 from rswarbrick/c_str
authorwhitequark <whitequark@whitequark.org>
Thu, 28 May 2020 09:40:35 +0000 (09:40 +0000)
committerGitHub <noreply@github.com>
Thu, 28 May 2020 09:40:35 +0000 (09:40 +0000)
Use c_str(), not str() for IdString/std::string == and != operators


Trivial merge