> On 1 Jul 2017, at 3:01 pm, Jan Stary <[email protected]> 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?

The second for me, by far.

Chris

> 
>       Jan
> 

Attachment: smime.p7s
Description: S/MIME cryptographic signature

Reply via email to