On Fri, 17 May 2019 at 17:59, Saint Michael <venefax at gmail.com> wrote: > > Maybe you should share the patch here so we benefit from it. Thomas said everything is kept in public git repository, what else are you looking to benefit from? :) -- End of message. Next message?