Kevin Ryde writes: Date: Wed, 25 Apr 2012 08:17:38 +1000 Subject: Bug#670339: proofgeneral: debian-pkg-add-load-path-item Thanks for the report! Proof General changes load-path at various places. I'll therefore first try to change the upstream version such that all load-path additions are done by one function. This bug will therefore stay open until the next upstream prerelease.
Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
