From: Peter Dimov (pdimov_at_[hidden])
Date: 2005-12-18 13:34:58
Douglas Gregor wrote:
> On Dec 17, 2005, at 2:33 PM, Peter Dimov wrote:
>
>> Douglas Gregor wrote:
>>
>>>> 3258 failures in 40 libraries:
>>>
>>> I'm turning off the reporter until we get things settled. It's just
>>> too annoying.
>>
>> It's supposed to be annoying. :-)
>
> But it's annoying the wrong people. If it could figure out who the
> right people are, it should bug only them.
Maybe it should annoy only the list in such cases, when it's hard to figure
out who the right people are?