On Sun, Jan 05, 2025 at 09:50:32AM +0100, Stefan Sperling wrote:
> sent (though I forgot to add your OK to the commit message).

Nevermind, your ok has been recorded. The bad version of this
commit was never sent to the server.