Re: How to get warnings for unused parts of a file?

Fri, 01 Oct 2021 06:12:09 -0700 

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























					Reply via email to