From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.bugs Subject: bug#27761: Crash while using proof-general/company-coq on OS X Date: Tue, 08 Aug 2017 00:24:34 -0700 Message-ID: References: <837eyq3bch.fsf@gnu.org> <5ddb802a-7c0c-bf0b-ec85-6ed19e5ea7df@aurox.ch> <83mv7jyuek.fsf@gnu.org> <83efstzxhu.fsf@gnu.org> <83bmnvyc2s.fsf@gnu.org> <83a83btgee.fsf@gnu.org> <8360dyu6tk.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: blaine.gmane.org 1502177128 15354 195.159.176.226 (8 Aug 2017 07:25:28 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 8 Aug 2017 07:25:28 +0000 (UTC) User-Agent: Gnus/5.130016 (Ma Gnus v0.16) Emacs/25.2.50 (darwin) Cc: 27761@debbugs.gnu.org, charles@aurox.ch, denis.redozubov@gmail.com To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Aug 08 09:25:18 2017 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1deyt6-0002oc-Kf for geb-bug-gnu-emacs@m.gmane.org; Tue, 08 Aug 2017 09:25:12 +0200 Original-Received: from localhost ([::1]:41167 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1deyt6-0000Oy-8E for geb-bug-gnu-emacs@m.gmane.org; Tue, 08 Aug 2017 03:25:12 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42499) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1deyt0-0000NB-6z for bug-gnu-emacs@gnu.org; Tue, 08 Aug 2017 03:25:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1deysw-0003R7-Te for bug-gnu-emacs@gnu.org; Tue, 08 Aug 2017 03:25:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:42335) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1deysw-0003R1-Pq for bug-gnu-emacs@gnu.org; Tue, 08 Aug 2017 03:25:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1deysw-0003HY-H8 for bug-gnu-emacs@gnu.org; Tue, 08 Aug 2017 03:25:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: John Wiegley Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 08 Aug 2017 07:25:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 27761 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 27761-submit@debbugs.gnu.org id=B27761.150217709012595 (code B ref 27761); Tue, 08 Aug 2017 07:25:02 +0000 Original-Received: (at 27761) by debbugs.gnu.org; 8 Aug 2017 07:24:50 +0000 Original-Received: from localhost ([127.0.0.1]:51016 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1deysk-0003H5-67 for submit@debbugs.gnu.org; Tue, 08 Aug 2017 03:24:50 -0400 Original-Received: from mail-pg0-f52.google.com ([74.125.83.52]:34822) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1deysi-0003Gs-W7 for 27761@debbugs.gnu.org; Tue, 08 Aug 2017 03:24:49 -0400 Original-Received: by mail-pg0-f52.google.com with SMTP id v189so11511792pgd.2 for <27761@debbugs.gnu.org>; Tue, 08 Aug 2017 00:24:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:mime-version; bh=Z0d4eOFMG0v9E3NwRI8X/ZiAHi2IutYZzRfiyQoMPnc=; b=qDVoOLtGz1pwaNPnyyE70XRdtHmIoRbOpx3cV/NYASoWblE1YkeNjUEVGv3F35fakV jrE2OVt6vejmr7FEBuT039x9TlHVhwLaaRIZgr0ivqGOgKT54EALdKj0PIpyiPn45oMp KoGhehwPV68vZAcJ5zOojFeO3fHv2GpaCVtWg1aGwQ7esDfk3DDyPBnaCemNrZ6wHQiB yBAhlD0CaG7SsO8aDkeLPi0GL8rOHU1w/hZ4EkTHsnJPK21JaXh0Yl5DxDrb99vDeG64 pLTkOpQGdIGXOWwXw2gcJW4psGAXsmfmo4ez+D0JOc8XpA6u6VAfoDk/rDCC+oxJqAPg FFxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:mime-version; bh=Z0d4eOFMG0v9E3NwRI8X/ZiAHi2IutYZzRfiyQoMPnc=; b=F7NrqJ8WU1o6YVtDSMXEQBSR9meqov9IDCY1pYm5wDfHcZFv0RfYMsT62zgZVeFep6 skR8i4lP9Ez/OxmpdvcMtrYQteYM+3tzXyu27Cs1YDBBHBMrZ0d16537oGr2neN+YQ88 sctfI6UwbgPNeMM2ncwhtq4fpZ9WA1+OcmJnepvmVs1I8uLg66w/+VWZetBAW/bamB/I gJnzMNkTQLsVJWk7KuMQtzZex4VdP/8iVN1bV6q1mzd7L9sOElrINcBbui91OIcyjVh0 JYCNuP8ctAVeOBNmJzkTUe4P7Pqj8UvUcwaICzExcC8QzpvWaSnuxbYHjCyDelv8t875 VDTg== X-Gm-Message-State: AHYfb5gzR2/HjMDlYaiSmMdreJktlnHUeXHOz9uoRMxOJ+MdLJT02OQn bRHE3bw6JEyuWQ== X-Received: by 10.99.157.198 with SMTP id i189mr3124311pgd.85.1502177083258; Tue, 08 Aug 2017 00:24:43 -0700 (PDT) Original-Received: from Vulcan.local (76-234-69-149.lightspeed.frokca.sbcglobal.net. [76.234.69.149]) by smtp.gmail.com with ESMTPSA id t24sm1723099pfe.45.2017.08.08.00.24.41 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 08 Aug 2017 00:24:41 -0700 (PDT) X-Google-Original-From: "John Wiegley" Original-Received: by Vulcan.local (Postfix, from userid 501) id 15FAB7846826; Tue, 8 Aug 2017 00:24:40 -0700 (PDT) In-Reply-To: <8360dyu6tk.fsf@gnu.org> (Eli Zaretskii's message of "Tue, 08 Aug 2017 05:33:27 +0300") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:135570 Archived-At: >>>>> Eli Zaretskii 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