On Tue, Oct 15, 2019 at 10:18 PM Fabian Maurer <dark.shadow4@web.de> wrote:
Any news regarding those patches?

They were superseded a couple of time since then, with, I believe, enough feedback along the way to improve them further.
 


Regards,
Fabian Maurer