On Mon, 2021-04-26 at 23:43 +0200, Samuel Thibault wrote: > Hello Svante, > > For information, your patch got dropped because of #975658 Yes I know since a long time. And you did not care or anybody else either. So why bother... Why spend time on worthless issues?