On Sun, Jan 18, 2026 at 1:18 AM Eric Ridge <eebbrr@gmail.com> wrote:
> > I plan to push and backpatch this patch early next week, barring any objections.
> Thank you for your work on this. It’s sincerely appreciated.
Pushed and backpatched. Thanks for the report, Eric. The fix will be
included in the next minor release this Feb.
- Richard