|
| From: | John Wiegley |
| Subject: | bug#27761: Crash while using proof-general/company-coq on OS X |
| Date: | Tue, 08 Aug 2017 00:24:34 -0700 |
| User-agent: | Gnus/5.130016 (Ma Gnus v0.16) Emacs/25.2.50 (darwin) |
>>>>> Eli Zaretskii <eliz@gnu.org> writes: > I don't see the point, since no releases will ever be made from that branch. Ok. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
| [Prev in Thread] | Current Thread | [Next in Thread] |