18 Dec
2005
18 Dec
'05
6:34 p.m.
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?