On 12/17/2014 09:54 PM, Andrey Utkin wrote:> Hans, is this commit anywhere in any git repository at the moment?> The pull request will go out to Mauro tomorrow.Regards, Hans