On Mon, Aug 17, 2026 at 07:46:43PM +0100, void wrote:
On Mon, Aug 17, 2026 at 07:11:59PM +0100, Graham Perrin wrote:Sorry, ignore my previous email, it was for reboot -r (not reboot).I think it's still relevant, so I'll make a PR about it.
Just tested it after making a new world. n287677-5c1461a2b0fd has the problem It appears fixed in main-n288376-62d5d119ee7d --
