On 3/25/21 11:16 AM, Paul Eggert wrote:
> I'd prefer it to use IF_LINT (as in the earlier 
> change), as that makes it cleaner since it's just one line of useless 
> code, not three.

Installed as attached, and closing the bug report. Thanks again.