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.

Reply via email to