3 Mar
2024
3 Mar
'24
4:08 p.m.
On Sun Mar 3 16:08:52 2024 +0000, Jinoh Kang wrote:
I'm not sure how this is better than MR !667.
it does indeed fix the same issue, though the discussion on 667 has all but stalled, the patch is outdated, and this solution is smaller.