7 Feb
2023
7 Feb
'23
11:16 a.m.
On Mon Feb 6 15:58:52 2023 +0000, Jinoh Kang wrote:
(Note that this comment is no longer necessary if you're going to switch to my proposal above.)
To be honest I find this much less readable than the current code. The loop suggest that it can somehow spin there, where I don't think it should ever.