tree 314a3bf3344c8a815cb6b940ffbcf3cdd2ca87e4
parent a989e4c7ea13bded7dcb72272d8d98a69f7d672e
parent 0f9590aadee535b9129fcdeb2160b13b80112cde
author Florian Mayer <fmayer@google.com> 1556035999 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1556035999 +0000

Merge changes I2dfa0347,I951ff7a7

* changes:
  Do not blindly emplace in interner.
  Use unordered_set for interner.