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