On Sun, 20 Apr 2025 at 13:32, David Rowley <dgrowle...@gmail.com> wrote:
> Here are a few more fixes of a similar ilk. All new in 2025,
> predominantly from the last few days before feature freeze.

I've pushed those ones.

David


Reply via email to