On Tue, Aug 5, 2008 at 10:17 AM, Mauro Talevi <[EMAIL PROTECTED]> wrote:
> So a 20% increase on the original time - which is acceptable IMO for the > sake of reproducibility. Certainly not a 300% increase. For me, this might be sufficient reason not to upgrade. Jochen -- Look, that's why there's rules, understand? So that you think before you break 'em. -- (Terry Pratchett, Thief of Time) --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
