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 09:22:28 -0800

In <http://lists.gnu.org/archive/html/emacs-devel/2016-03/msg00087.html> 
YAMAMOTO Mitsuharu wrote:

> This part has been changed to the following one in
> https://github.com/ProofGeneral/PG/blob/master/generic/proof-config.el,
> ...
> and it seems to work for 25.0.92.

Thanks for checking this. As it appears that the bug has been fixed on the Proof 
General side, I'm closing the bug report.