New Upstream Release - pdfminer

No successful merges for pdfminer

A new upstream version is available: 20200720