Bruno Haible Tue, 19 Mar 2024 18:18:15 -0700
> This patch patch should apply cleanly for you. Thanks. Applied.
Bruno