@Jason there's an abandoned patch that fixes the issue (or at least did, back then). To be honest, although seemingly a trivial fix, it got a -1 that I did not understand and no further reviews in a few months, for which reason I dropped it. If anyone's still interested in it, I can restore it.
@Jason there's an abandoned patch that fixes the issue (or at least did, back then). To be honest, although seemingly a trivial fix, it got a -1 that I did not understand and no further reviews in a few months, for which reason I dropped it. If anyone's still interested in it, I can restore it.