Karl Berry Thu, 05 Oct 2023 14:19:58 -0700
This patch is from https://bugs.gnu.org/55025.
Thanks Vincent!