> On 28 Sep 2026, at 21:05, David G. Johnston <[email protected]> > wrote:
> This may arguably be a bug, but at this point we should just document the > behavior we have. Agreed, pushed and backpatched all the way. The documentation has this output down to 7.1 but I only tested down to 14. -- Daniel Gustafsson
