bug-gnulib
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Copyright-paperwork-exempt

From: Paul Eggert
Subject: Re: Copyright-paperwork-exempt
Date: Wed, 31 May 2023 17:11:06 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 
On 2023-05-31 04:57, Bruno Haible wrote:


But I think it would be good to write
   Copyright-paperwork-exempt: yes
(like everyone else does), not
   Copyright-paperwork-exempt: true
Yes, that was my intent; I merely forgot whether it was "yes" or "true". Adding this to HACKING sounds good.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]