Bruno Haible Thu, 08 Feb 2024 11:24:29 -0800
I reported it at <https://savannah.nongnu.org/support/index.php?111018>.