Hi Juerg, On Tue, 18 Nov 2008 07:39:28 -0800, Juerg Haefliger wrote: > Makes sense to me. Once a bug has been identified it should be entered > into the ticketing system for tracking purposes though. Of course. We developers have accounts on the system so we can create tickets for things that really need tracking. -- Jean Delvare
