Subject: Re: bug#71470: test failure on CentOS 7

From: Paul Eggert <[email-masked]>
Date: Tue, 11 Jun 2024 09:03:37 -0700

Thanks for the report and fixes. Close call, but since CentOS 7 is still 
officially alive I installed the 2nd patch. (A plus is that 'configure' 
is a bit faster....)