On Thursday, November 08, 2012 09:51:25 AM Neil Jerram wrote: > There are 2 new files in the Arora patch that I think haven't yet been > added to the Git repository... Ups, i again forgot about them. Fixed now. Regards Radek