Stefano Mazzocchi wrote: [snip]
the past as well, but it's a good practice to avoid that since it gives a sloppy impression to the users if the fresh checkout doesn't build.. and they are very likely to run away instead of report back]
Right. Thanks to Jacob for reporting and not running away then :)
Oliver
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
