10 Jul
2024
10 Jul
'24
5:06 p.m.
Sorry, I have no idea how I missed this, despite frequently looking over my list of assigned patches...
It looks correct to me. I don't see any tests, but I assume you tested this behaviour in isolation?