Il giorno lun 25 mag 2020 alle ore 09:51 Catonano <caton...@gmail.com> ha scritto:
> > May I ask you (or anyone else) to suggest me a correct git log line ? > > I can't remember how to edit that > for the sake of completeness, the patch is here https://lists.gnu.org/archive/html/guile-devel/2020-05/msg00026.html