|
From: | Jean Abou Samra |
Subject: | Re: How to get warnings for unused parts of a file? |
Date: | Fri, 1 Oct 2021 15:11:06 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 |
Le 01/10/2021 à 15:05, David Kastrup a écrit :
Right. Sorry.
No need to be sorry. Just happens. It's not like there is no potential for confusion, cf. commits 662c549602 and e12ee4107c0… Jean
[Prev in Thread] | Current Thread | [Next in Thread] |