Package: emacs;
Reported by: John Wiegley <jwiegley <at> gmail.com>
Date: Wed, 6 Apr 2016 19:31:02 UTC
Severity: normal
Tags: moreinfo, wontfix
Merged with 23230
Found in version 25.0.92
Done: Glenn Morris <rgm <at> gnu.org>
Bug is archived. No further changes may be made.
View this message in rfc822 format
From: Markus Triska <triska <at> metalevel.at> To: 23233 <at> debbugs.gnu.org Subject: bug#23233: 25.0.92; Crash after doing much work in Proof General Date: Thu, 07 Apr 2016 17:12:33 +0200
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.