On 15-12-24 04:32 AM, Simon Cozens wrote: > Behdad, any reason this shouldn't be merged? Nothing other than "I've been travelling", and that it needs manual merge, and that the build is currently failing and I need to investigate and fix that. On it now. Cheers, b