Subject: Re: duplicate ?

From: Adriano Peluso <[email-masked]>
Date: Sun, 16 May 2021 09:09:58 +0200

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 procedure