Re: [Boost-users] unordered_map: user object as key