Merge pull request #93574 from marsam/update-pdfminer
pdfminer: 20200517 -> 20200720
authored by Mario Rodas and committed by GitHub 5 years ago f3f6449e 4a7bb7df