On 10/26/2018 06:52 AM, Mikle Kolyada wrote: > > > On 26.10.2018 04:04, Matthias Maier wrote: >>> could you please stop sending project related stuff to the -dev mailing >>> list? It is irrelevant place to provide bump patches >> Why? What's the purpose of a developer mailing list then? > Because we have github/project alias for that purpose >
So the desired way is to use github pull requests? That is rather unfortunate. Michal
