Subject: Re: [bug#76601] [PATCH 1/1] dir-locals: Add copyrights.

From: Denis 'GNUtoo' Carikli <[email-masked]>
Date: Sun, 16 Mar 2025 03:28:42 +0100

Hi,

On Thu, 27 Feb 2025 01:32:08 +0100
Tomas Volf <[email-masked]> 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.