Closed tossy310 closed 6 months ago
Previous attempts 019ec2ffdd3e0c51c97b3760d96a48f34a9c8d82 and a6640d5a5f9357cb0c41d2b51811524efe1fb567 fixed most cases reported in an issue #1708, but there's still a case where a wrong error message is shown. This fixes it.
This seems to make sense, thanks!
Previous attempts 019ec2ffdd3e0c51c97b3760d96a48f34a9c8d82 and a6640d5a5f9357cb0c41d2b51811524efe1fb567 fixed most cases reported in an issue #1708, but there's still a case where a wrong error message is shown. This fixes it.