On Tue, Feb 13, 2007 at 06:01:56PM +0100, Franck Bui-Huu wrote: > argh there's a small mistake. Could you amend this fix ? Fortunately I haven't pushed yet, so yes, will do git surgery :) Ralf
On Tue, Feb 13, 2007 at 06:01:56PM +0100, Franck Bui-Huu wrote: > argh there's a small mistake. Could you amend this fix ? Fortunately I haven't pushed yet, so yes, will do git surgery :) Ralf