Subject: Re: bug#22865: 25.0.91; Use Proof General with emacs-25 on OS X frequent hangs coqtop

From: Paul Eggert <[email-masked]>
Date: Sat, 5 Mar 2016 11:49:49 -0800

Clément Pit--Claudel wrote:
> Proof General includes a workaround, but isn't this still a bug?

Hmm, I suppose it is, though it's no longer a blocker for the release. I'll 
reopen the bug report.