[nongnu] branch scratch/proof-general deleted (was 83ba613962)

[Stefan Monnier via]

monnier pushed a change to branch scratch/proof-general.

       was  83ba613962 pg-user.el: Misc cleanups from compilation warnings

This change permanently discards the following revisions:

  discards  83ba613962 pg-user.el: Misc cleanups from compilation warnings
  discards  73c13d63d9 Simplify code of `pg-protected-undo`
  discards  7567ac4a25 Try and fix Issue #800