#746466 proofgeneral hijacks the emacs icon identity

Package:
proofgeneral
Source:
proofgeneral
Submitter:
Drew Parsons
Date:
2017-01-06 22:03:02 UTC
Severity:
normal