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

From: Денис Редозубов<[email-masked]>
Date: Wed, 2 Aug 2017 01:48:36 +0300

(gdb) tb
Temporary breakpoint 1 at 0x1000377c5: file xdisp.c, line 6922.

> Also, does it also happen with Emacs master?

I haven't tried it yet, it's emacs-25 branch. Should I switch to master?

2017-08-02 1:27 GMT+03:00 John Wiegley <[email-masked]>:

> >>>>> "ДР" == Денис Редозубов <[email-masked]> writes:
>
> ДР> (gdb) tb
>
> Thank you, Denis!
>
> Also, does it also happen with Emacs master?
>
> --
> John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
> http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2
>