GNU bug report logs - #76601
[PATCH 0/1] dir-locals: Add copyrights.

Previous Next

Full log

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

From: Denis 'GNUtoo' Carikli <GNUtoo <at> cyberdimension.org>
To: Tomas Volf <~@wolfsden.cz>
Cc: Simon Tournier <zimon.toutoune <at> gmail.com>, 76601 <at> debbugs.gnu.org,
 Ludovic Courtès <ludo <at> gnu.org>,
 Tobias Geerinckx-Rice <me <at> tobias.gr>, jgart <jgart <at> dismail.de>,
 Mathieu Othacehe <othacehe <at> gnu.org>, Christopher Baines <guix <at> cbaines.net>
Subject: Re: [bug#76601] [PATCH 1/1] dir-locals: Add copyrights.
Date: Sun, 16 Mar 2025 03:28:42 +0100

[Message part 1 (text/plain, inline)]

Hi,

On Thu, 27 Feb 2025 01:32:08 +0100
Tomas Volf <~@wolfsden.cz> wrote:
> Interesting, for some reason I am missing here.  I wonder why your
> command missed these two commits.
Thanks a lot for spotting that. I had the same issue with GNU Boot few
days ago and there, using --reverse also missed some commits (the ones
you found and also one from Maxim Cournoyer in 2025).

I'll send a v2 with the missing commits/copyrights.

Denis.

[Message part 2 (application/pgp-signature, inline)]

Previous Next

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