> Thanks, pushed to git master.

Thanks, Nicolas.

Reply via email to