There is a related patch here which resolves the issue at a different level: https://github.com/pdfminer/pdfminer.six/pull/1271
I think it would be good to apply both patches, for safety. We'll see what upstream decides.
There is a related patch here which resolves the issue at a different level: https://github.com/pdfminer/pdfminer.six/pull/1271
I think it would be good to apply both patches, for safety. We'll see what upstream decides.