Bug#917461: proofgeneral does not work in emacs-26

Dear Maintainer, This bug was fixed by 'commit b3ff384' on git. https://github.com/ProofGeneral/PG/issues/355 https://github.com/ProofGeneral/PG/commit/b3ff384a564a0d5a4206c1eb1e2eaa06da6f909a I wish this package to be included in Buster again.

Bug#917461: proofgeneral does not work in emacs-26

Package: proofgeneral Version: 4.4.1~pre170114-1 Severity: normal Dear Maintainer, After upgrading emacs to 1:26.1+1-2, proofgeneral no longer works with coq source. Trying to process the source (Next Step, or Use Buffer) yields the message "Cannot open load file: Aucun fichier ou dossier de ce