Subject: Re: bug#48282: CI fails to build opencv on x86-64
From: Guillaume Le Vaillant <[email-masked]>
To: [email-masked]
Date: Mon, 20 Nov 2023 12:34:08 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

It looks like this build failure doesn't happen anymore now.
Closing.