On Jul 1, 2017, at 09:01, Jan Stary wrote: > There seem to be two way to send a patch to a port: > > 1. create a ticket in trac and attach a diff > 2. create a pull request on github > > Is any of the two preferred by the MP developers?
I would say to whatever you're most comfortable with. I personally deal better with patchfiles, but most other developers are probably happy with pull requests too.