Hi Brice, dom 28 jun 2020 às 11:37:32 (1593355052), br...@waegenei.re enviou: > Hello André, > > I tought I already had applied your patch, but I forgot to do it. > It's now applied as f8945734a5abff69644284231cc47fb67456657b, sorry > for the delay.
No big deal, thanks for your initiative. > I would love to know when you manage to advance on that front. It's currently beyond my understanding, but hopefully not for long. Cheers!