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

bug-gnu-emacs

From:	Glenn Morris
Subject:	bug#27761: Crash while using proof-general/company-coq on OS X
Date:	Mon, 24 Jul 2017 12:58:49 -0400
User-agent:	Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)

Is it impossible to "provide a minimal example starting from emacs -Q"
for this issue?

Current Thread

[Next in Thread]

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