On Thu, Jun 12, 2008 at 12:30:35AM +0200, Daniel Baumann wrote: > Kai Hendry wrote: > > I want this removed. :) Wondering why it was there in the first place > > instead of 1000? > > it was added as a workaround to prevent #433076. I suggest adding that as a comment above the code in question.