bug-gnu-emacs
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#27761: Crash while using proof-general/company-coq on OS X

From: Eli Zaretskii
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Tue, 08 Aug 2017 05:28:56 +0300 
> From: Денис Редозубов <denis.redozubov@gmail.com>
> Date: Mon, 07 Aug 2017 21:27:05 +0000
> Cc: 27761@debbugs.gnu.org, jwiegley@gmail.com, charles@aurox.ch
> 
> Thanks for fixing it! It was elusive and a bit annoying!

You are welcome.  Frankly, I'm surprised that this problem took so
long to show and be reported.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]