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