On Sun, 7 Apr 2024 15:36:54 +0200 José Luis González <bugs.jlg at gmail.com> wrote: > I'd like to update the INSTALL file to confirm that 3.7.0 works on > Debian 12 when I get it compiled (I am at it now). May I have access to > the repository? The usual way would be to submit a patch. with regards Paul