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. --
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. --