Klugier Messages: 1106 Registered: September 2012 Location: Poland, Kraków
Senior Contributor
Hello,
Thank you for your patch! Mirek will definitely look at this! We encourage everyone to create Pull Requests on GitHub instead of posting diffs on this forum. It has several advantages over diff like integrated code review tool. Also PR is hard to miss instead of forum thread.
Do not feel pressure about PR - it will be just welcome.