GNU bug report logs - #67255
define-library does not support 'rename' directives

Previous Next

Full log

Message #17 received at 67255 <at> debbugs.gnu.org (full text, mbox):

From: Timothy Sample <samplet <at> ngyro.com>
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Cc: 67255 <at> debbugs.gnu.org
Subject: Re: bug#67255: define-library does not support 'rename' directives
Date: Thu, 23 Nov 2023 10:12:19 -0600

Hey,

Maxim Cournoyer <maxim.cournoyer <at> gmail.com> writes:

> Timothy Sample <samplet <at> ngyro.com> writes:
>
>> Fixes <https://bugs.gnu.org/67255>.
>> Reported by Maxim Cournoyer <maxim.cournoyer <at> gmail.com>.
>
> Nitpick: at least 'Reported-by' is a common git trailer, and these
> must appear at the bottom of the git commit.

That’s a fair point.  I’m following what seems to be (from the commit
log) Guile’s convention here.  See

    $ git log --grep='^Report'

Whether it’s a good convention is probably out of scope here!  :)

> It at least works for my use case (SRFI 128), so it's for sure an
> improvement :-).  You can see it in action in the series I've sent today.

Hooray!


-- Tim

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.