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: Sun, 30 Jul 2017 18:16:46 +0300 
> From: Денис Редозубов <denis.redozubov@gmail.com>
> Date: Sun, 30 Jul 2017 15:13:51 +0000
> Cc: 27761@debbugs.gnu.org, charles@aurox.ch, rgm@gnu.org
> 
> I meant waiting a few days and helping me to figure out what's happening. 
> I'll let you know. 

Yes, that works for me, thanks.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]