Nice that this was pushed. On a minor note, I saw that my email got confused in the commit (viktor.holmberg@aiven.io) instead of v@viktorh.net. (I don’t know what aiven.io is). I don’t know if there is a way to change this without messing up the git log? If not it’s no problem, probably unlikely that anyone will contact me about it anyways.
/Viktor
On 12 Mar 2026 at 23:07 +0100, Andrew Dunstan <andrew@dunslane.net>, wrote:
