Subject: Re: [bug#76601] [PATCH v3] dir-locals: Add copyrights.
From: Christopher Baines <[email-masked]>
To: Tomas Volf <[email-masked]>
Cc: [email-masked], Denis 'GNUtoo' Carikli <[email-masked]>
Date: Sun, 06 Apr 2025 19:12:21 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Tomas Volf <[email-masked]> writes:

> Reviewed-by: Tomas Volf <[email-masked]>

Thanks both, I've pushed this to master as
db523cfaa834ac9778f436e7f94647508733c0a1.

Chris