18 Dec
2005
18 Dec
'05
5:32 p.m.
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. Doug