15 May
2023
15 May
'23
5:03 a.m.
On Sun, May 14, 2023 at 10:23 PM Bagas Sanjaya wrote:
Thanks for the fixup. Can you send it as proper patch for review?
I only included that diff to make sure what I tried was unambiguous. I don't think it'd be a good idea to merge exactly that, since it will probably re-break the problem that the original commit was fixing in the first place.
Regards,
Joseph C. Sible