Thanks for taking the time to report this.
Since it is a rare edge case, I propose that a project maintainer or bug supervisor closes this as Won't fix.
I know at least that the upstream maintainer (which happens to be me) will not be able to prioritize spending time on fixing this bug.
Thanks for taking the time to report this.
Since it is a rare edge case, I propose that a project maintainer or bug supervisor closes this as Won't fix.
I know at least that the upstream maintainer (which happens to be me) will not be able to prioritize spending time on fixing this bug.