Subject: Re: bug#71470: test failure on CentOS 7
From: Paul Eggert <[email-masked]>
To: Bruno Haible <[email-masked]>
Cc: [email-masked]
Date: Tue, 11 Jun 2024 09:03:37 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

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....)