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

[Eli Zaretskii]

> From: Glenn Morris <rgm@gnu.org>
> Cc: "Charles A. Roelli" <charles@aurox.ch>,  27761@debbugs.gnu.org,  
> denis.redozubov@gmail.com
> Date: Mon, 24 Jul 2017 12:58:49 -0400
> 
> Is it impossible to "provide a minimal example starting from emacs -Q"
> for this issue?

I still hope it will be possible.  Alternatively, if someone catches
this in GDB, I can ask a few questions and probably understand what's
going on, the reason cannot be too complicated.

TIA