|
From: | John Wiegley |
Subject: | bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop |
Date: | Sat, 05 Mar 2016 20:53:27 -0800 |
User-agent: | Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) |
>>>>> Paul Eggert <eggert@cs.ucla.edu> writes: > Hmm, I suppose it is, though it's no longer a blocker for the release. I'll > reopen the bug report. Thank you, Paul. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
[Prev in Thread] | Current Thread | [Next in Thread] |