Phil Blundell wrote: > On Tue, 2008-08-05 at 12:35 +0200, Koen Kooi wrote: >> It broke builds for some people (but not all). > > What was the breakage? It seems like it would be a better idea to fix > that than just to disable it. I wasn't one of the people seeing the breakage, so I'll leave it to the people that reported to respond. regards, Koen