15 Aug
2023
15 Aug
'23
3:16 p.m.
The deletion logic is indeed ugly, it should be possible to find a better way. As a first step I'd suggest moving it to a separate MR.