Yury Delendik ad4eb9a21d Merge pull request #4354 from nnethercote/Name-cache
Use a cache to minimize the number of Name objects.
2014-03-02 18:44:29 -06:00
..
2012-10-29 14:08:52 -04:00
2014-01-27 20:29:47 -06:00