On 2022-07-07 10:50:27 +0900, Masahiko Sawada wrote:> Right, it's more robust. I've updated the patch accordingly.
Do others have thoughts about backpatching this to 15 or not?