unordered set design modification

[Jonathan Wakely]

On 21 October 2012 10:47, Paolo Carlini wrote:
> On 10/20/2012 11:07 PM, François Dumont wrote:
>>
>>     I have also put a fix in profile/map.h even if it is unrelated to this
>> evolution. Should I commit it outside this patch ?
>
> Yes please!

Yes, please commit the profile/map.h fix separately, that's OK to commit.

I'm reviewing the rest of it now.