On Tue, 11 Nov 2025 at 10:44, David Rowley <dgrowleyml@gmail.com> wrote:
> The attached patch fixes it. I can take care of this once the back
> branches are open again after the minor releases are out.
Pushed.
David
Чтобы сделать работу с сайтом удобнее, мы используем cookie и аналитический сервис «Яндекс.Метрика». Продолжая пользоваться сайтом, вы соглашаетесь с их использованием.