On Sep 7, 2008, at 15:23 , Ion-Mihai Tetcu wrote: > FYI all the fixes are included in ports-mgmt/tinderbox 3.0.0_1 which I > committed today. Shouldn't that be 3.0.1 rather than 3.0.0_1 ? -aDe