Il giorno dom, 16/05/2021 alle 08.52 +0200, Adriano Peluso ha scritto: > Hi > > would you give a bit of context ? > > What error is this patch supposed to fix ? > > Has this anything to do with #48412 ? > > https://lists.gnu.org/archive/html/bug-guile/2021-05/msg00033.html > > Thanks
well, I tried your patch and it does fix tracepointing Thanks !