Patch applied in f9f55b9ce74898d1b0a77dcc9b4aa260e5cd208d. Thanks!
> On 16 May 2021, at 09:09, Adriano Peluso wrote:
>
> Il giorno ven, 14/05/2021 alle 11.13 +0200, Adriano Peluso ha scritto:
>> I just noticed someone sent a patch that seems relevant here
>>
>> It's in #43102
>>
>>
Il giorno ven, 14/05/2021 alle 11.13 +0200, Adriano Peluso ha scritto:
> I just noticed someone sent a patch that seems relevant here
>
> It's in #43102
>
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=43102
I applied this patch
It does solve the issue, it seems
Now I can tracepoint my
I just noticed someone sent a patch that seems relevant here
It's in #43102
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=43102