Merge pull request #825 from DickvdBrink/remove_deprecated_hash_map
authorJan Kotas <jkotas@microsoft.com>
Sun, 26 Apr 2015 23:45:02 +0000 (16:45 -0700)
committerJan Kotas <jkotas@microsoft.com>
Sun, 26 Apr 2015 23:45:02 +0000 (16:45 -0700)
Replace hash_map/set with unordered_map/set


Trivial merge