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

From: John Wiegley <[email-masked]>
Date: Fri, 04 Mar 2016 11:55:41 -0800

Clément, have you seen this bug on your side?  Is it possible that this only
happens on OS X?

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2