At Sun, 29 Oct 2006 17:11:59 +0100 (CET), Havard Eidnes wrote: > > > There should be no problems. > > OK, the patch has been committed. Thanks. -- nsmrtks