From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Francesco =?UTF-8?Q?Potort=C3=AC?= Newsgroups: gmane.emacs.bugs Subject: bug#45325: 27.1; [PATCH] Correct position commentary in ETAGS.EBNF Date: Sat, 19 Dec 2020 22:35:45 +0100 Message-ID: References: <83eejlu1xb.fsf@gnu.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30254"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 45325@debbugs.gnu.org, mail@vasilij.de To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Dec 19 22:36:10 2020 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kqjta-0007mD-29 for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 19 Dec 2020 22:36:10 +0100 Original-Received: from localhost ([::1]:51438 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kqjtZ-0000k9-4F for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 19 Dec 2020 16:36:09 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:36634) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kqjtS-0000jC-Tq for bug-gnu-emacs@gnu.org; Sat, 19 Dec 2020 16:36:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:60004) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kqjtS-0000bb-M3 for bug-gnu-emacs@gnu.org; Sat, 19 Dec 2020 16:36:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kqjtS-0007zQ-Gm for bug-gnu-emacs@gnu.org; Sat, 19 Dec 2020 16:36:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Francesco =?UTF-8?Q?Potort=C3=AC?= Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 19 Dec 2020 21:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 45325 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 45325-submit@debbugs.gnu.org id=B45325.160841375130691 (code B ref 45325); Sat, 19 Dec 2020 21:36:02 +0000 Original-Received: (at 45325) by debbugs.gnu.org; 19 Dec 2020 21:35:51 +0000 Original-Received: from localhost ([127.0.0.1]:43317 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kqjtG-0007yx-K0 for submit@debbugs.gnu.org; Sat, 19 Dec 2020 16:35:50 -0500 Original-Received: from smtp-clients2.isti.cnr.it ([146.48.28.37]:58310) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kqjtD-0007yn-Go for 45325@debbugs.gnu.org; Sat, 19 Dec 2020 16:35:49 -0500 Original-Received: from tucano.isti.cnr.it (tucano.isti.cnr.it [146.48.81.102]) (Authenticated sender: pot) by smtp-clients2.isti.cnr.it (Postfix) with ESMTPSA id B2D19B0820; Sat, 19 Dec 2020 22:35:45 +0100 (CET) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.0 at smtp-out.isti.cnr.it Original-Received: from pot by tucano.isti.cnr.it with local (Exim 4.94) (envelope-from ) id 1kqjtB-00Bs3V-6w; Sat, 19 Dec 2020 22:35:45 +0100 In-Reply-To: <83eejlu1xb.fsf@gnu.org> (eliz@gnu.org) X-fingerprint: 4B02 6187 5C03 D6B1 2E31 7666 09DF 2DC9 BE21 6115 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:196431 Archived-At: >> Date: Sat, 19 Dec 2020 18:13:56 +0100 >> From: Vasilij Schneidermann >> >> I've looked into the etags format and have been happy to discover that >> there is actually a specification for it. There is a bug in a comment >> though suggesting a position is the char position followed by the line >> position, however it seems to be the other way around. I've looked a bit >> more in the grammar, but other than that it seems to be fine. Wow. Discovered 18 years after being written!