Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix for #47852 #56775
Thanks for the fix. But I'll be honest with you this looks like too much complication for an issue that only one user has hit and which looks like a corner case.
Ok @isidorn I understand.