monnier pushed a change to branch scratch/proof-general.
at 08189b7f38 pg-user.el: Misc cleanups from compilation warnings
This branch includes the following new commits:
new ef92861928 Try and fix Issue #800
new 27d91f58ac Simplify code of `pg-protected-undo`
new 08189b7f38 pg-user.el: Misc cleanups from compilation warnings
