am 23590fd0: Merge "Change intern table to unordered set." into lmp-dev

* commit '23590fd094df6a4a2360b722763249adf1689f15':
  Change intern table to unordered set.