Patch applied in f9f55b9ce74898d1b0a77dcc9b4aa260e5cd208d. Thanks!
> On 16 May 2021, at 09:09, Adriano Peluso <randomloo...@riseup.net> 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 >> >> 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 > > > >