On Fri, 2022-01-14 at 14:35 +0100, Janosch Frank wrote: > Have a look at Pierre's patch which I will be relying on when it's > done. > As I said in the commit message, this is only a placeholder for his > patch. There it is just as I suggested. Thanks.
