monnier pushed a change to branch scratch/proof-general.
at 83ba613962 pg-user.el: Misc cleanups from compilation warnings
This branch includes the following new commits:
new 7567ac4a25 Try and fix Issue #800
new 73c13d63d9 Simplify code of `pg-protected-undo`
new 83ba613962 pg-user.el: Misc cleanups from compilation warnings
