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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 28 Jul 2017 22:11:03 +0300

> Cc: [email-masked]
> From: "Charles A. Roelli" <[email-masked]>
> Date: Fri, 28 Jul 2017 20:48:17 +0200
> 
> Thanks. In that case, could you please bisect your local configuration
> until you find what causes the issue?

Alternatively, Denis, can I persuade you to run Emacs under GDB
(install GDB if needed)?  Then I could give you instructions that
would help me understand what's going on there, and suggest a fix.

Thanks.