From: Peter Dimov (pdimov_at_[hidden])
Date: 2007-11-01 15:33:20
David Abrahams:
>> Yes, this seems to need merging, but it's for Thomas and Doug to decide.
>> Is
>> there an easy way to pull the list of whoever made the unmerged changes
>> instead?
>
> I don't know; I merely did what was easiest. Maybe I should have left
> the names out.
It's a reasonable way to divide the work even though it ended up as
approximate. :-)