Re: [PATCH] Remove and ignore generated files

[Jonas Hahnfeld]

On Tue, 2023-11-28 at 22:01 +0100, Jonas Hahnfeld wrote:
> On Wed, 2023-10-18 at 22:24 +0200, Jonas Hahnfeld wrote:
> > Hi,
> > 
> > running autogen.sh produces a number of generated files that are
> > currently not properly ignored or even checked into git. Please take a
> > look at the attached patches and apply if suitable.
> 
> ping, any maintainer willing to take a look?

Another ping, the three (pretty straightforward) patches are available
from the list archives:
https://lists.gnu.org/archive/html/guile-devel/2023-10/msg00029.html

Jonas

signature.asc
Description: This is a digitally signed message part