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