Subject: Re: bug#63356: [PATCH] gnu: ftxui: Update to 4.0.0.
From: 宋文武 <[email-masked]>
To: "Artyom V. Poptsov" <[email-masked]>
Cc: [email-masked]
Date: Sat, 13 May 2023 17:57:12 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

"Artyom V. Poptsov" <[email-masked]> writes:

> Hello,
>
> this patch updates FTXUI[1] to 4.0.0 and fixes its build.
>

Hello, it was already updated to 4.0.0 by another patch.
But this patch's add 'benchmark' and remove the #:phases still apply, so
I did that.

Thank you!