unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
From: "João Távora" <joaotavora@gmail.com>
To: Eli Zaretskii <eliz@gnu.org>
Cc: Lars Ingebrigtsen <larsi@gnus.org>,
	62720@debbugs.gnu.org, "Philip K." <philipk@posteo.net>,
	Stefan Monnier <monnier@iro.umontreal.ca>
Subject: bug#62720: 29.0.60; Not easy at all to upgrade :core packages like Eglot
Date: Wed, 12 Apr 2023 18:14:28 +0100	[thread overview]
Message-ID: <CALDnm53527qm8GuAauV7WnEPLFgYzqBbS5zhVUQFrcykRdYBmw@mail.gmail.com> (raw)
In-Reply-To: <831qkp6o0i.fsf@gnu.org>

[-- Attachment #1: Type: text/plain, Size: 2286 bytes --]

On Wed, Apr 12, 2023, 17:52 Eli Zaretskii <eliz@gnu.org> wrote:

> > From: João Távora <joaotavora@gmail.com>
> > Date: Wed, 12 Apr 2023 17:13:27 +0100
> > Cc: Philip Kaludercic <philipk@posteo.net>, monnier@iro.umontreal.ca,
> 62720@debbugs.gnu.org,
> >       larsi@gnus.org
> >
> > On Wed, Apr 12, 2023 at 4:17 PM Eli Zaretskii <eliz@gnu.org> wrote:
> >
> > > The above questions and undocumented subtleties is what scares me in
> > > installing such changes at this late stage.  I'm not sure everyone
> > > involved, yourself included, have a clear understanding of what the
> > > modified code will do in each possible use case.  That is why I very
> > > much prefer separate code, which will then free us from the need of
> > > considering all these subtleties, as the last year of user's
> > > experience with this code can vouch that it does its job correctly, by
> > > and large.
> >
> > Alright, I've tried my hand at making this clean separation, so that
> > no logic of transaction or existing predicates is touched.  I tried to
> > make it as intelligible as possible perhaps overdoing the commentary
> > and the naming, but we can always trim it.
>
> Thanks, but this is not separate code.  It adds 21 built-in packages
> to the list of completion candidates that the user can choose in
> package-install, and who knows what kind of confusion this could cause
> when users see packages like Xref and Package and Tramp and seq and
> Python and Org in that list, and what accidents that could cause if
> users select one of those by mistake, because they never saw them
> there before?
>

The intended behavior, of course. To install a newer version of the
package, of course. This is also what Philip's patch did, only with
different code.

PLEASE show me a completely separate code or a separate command, then
> I will agree to this last-minute addition.
>

The point is to change the broken behavior of the existing command,
package-install. Anything else is a waste of time, and noone except you has
demonstrated support for this separate command idea. Please, in normal
non-shouting case, explain to me how you think that the behavior of an
existing command can be changed with "completely separate code".

João

>

[-- Attachment #2: Type: text/html, Size: 3663 bytes --]

  reply	other threads:[~2023-04-12 17:14 UTC|newest]

Thread overview: 278+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-04-07 22:12 bug#62720: 29.0.60; Not easy at all to upgrade :core packages like Eglot João Távora
2023-04-08  1:03 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-08 10:43   ` Philip Kaludercic
2023-04-08 10:48     ` João Távora
2023-04-08 14:42       ` Philip Kaludercic
2023-04-08 15:25         ` João Távora
2023-04-08 15:45         ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-10 16:01           ` João Távora
2023-04-10 18:13             ` Philip Kaludercic
2023-04-11 11:02               ` João Távora
2023-04-11 11:40                 ` Eli Zaretskii
2023-04-11 12:52                   ` João Távora
2023-04-11 17:55                     ` Eli Zaretskii
2023-04-11 18:31                       ` João Távora
2023-04-11 18:52                         ` Eli Zaretskii
2023-04-11 20:08                           ` João Távora
2023-04-11 20:25                             ` João Távora
2023-04-12  5:49                             ` Eli Zaretskii
2023-04-12  7:58                               ` João Távora
2023-04-12  8:19                                 ` Eli Zaretskii
2023-04-12  8:51                                   ` João Távora
2023-04-12 10:23                                     ` Eli Zaretskii
2023-04-12 10:38                                       ` João Távora
2023-04-12 11:01                                         ` Eli Zaretskii
2023-04-12 11:00                                       ` João Távora
2023-04-12 11:08                                         ` Eli Zaretskii
2023-04-12 11:15                                           ` João Távora
2023-04-12 11:22                                             ` Eli Zaretskii
2023-04-12 11:35                                               ` João Távora
2023-04-12 11:47                                                 ` Eli Zaretskii
2023-04-12 12:01                                                   ` João Távora
2023-04-12 12:00                                               ` Philip Kaludercic
2023-04-12 12:18                                                 ` João Távora
2023-04-12 12:28                                                   ` Philip Kaludercic
2023-04-12 12:55                                                     ` João Távora
2023-04-12 12:30                                                 ` Eli Zaretskii
2023-04-12 13:42                                                   ` Philip Kaludercic
2023-04-12 14:11                                                     ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-12 14:14                                                       ` João Távora
2023-04-12 14:17                                                         ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-12 14:20                                                           ` João Távora
2023-04-12 15:18                                                     ` Eli Zaretskii
2023-04-12 16:13                                                       ` João Távora
2023-04-12 16:16                                                         ` João Távora
2023-04-12 16:53                                                         ` Eli Zaretskii
2023-04-12 17:14                                                           ` João Távora [this message]
2023-04-12 17:22                                                             ` Eli Zaretskii
2023-04-12 17:43                                                               ` João Távora
2023-04-12 19:09                                                                 ` Eli Zaretskii
2023-04-12 19:39                                                               ` Philip Kaludercic
2023-04-13  5:30                                                                 ` Eli Zaretskii
2023-04-13  7:38                                                                   ` Philip Kaludercic
2023-04-13  8:11                                                                     ` Eli Zaretskii
2023-04-13 11:23                                                                       ` Philip Kaludercic
2023-04-13 15:03                                                                         ` Eli Zaretskii
2023-04-13 15:10                                                                           ` Philip Kaludercic
2023-04-13 15:56                                                                             ` Eli Zaretskii
2023-04-13 17:49                                                                               ` Philip Kaludercic
2023-04-13 18:15                                                                                 ` Eli Zaretskii
2023-04-13 18:49                                                                                   ` Philip Kaludercic
2023-04-14 10:54                                                                                     ` Eli Zaretskii
2023-04-14 12:34                                                                                       ` Robert Pluim
2023-04-14 12:56                                                                                         ` João Távora
2023-04-14 13:52                                                                                           ` Robert Pluim
2023-04-14 15:34                                                                                             ` João Távora
2023-04-14 15:52                                                                                               ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-14 16:05                                                                                                 ` João Távora
2023-04-14 16:28                                                                                                   ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-14 16:34                                                                                                     ` Dmitry Gutov
2023-04-14 16:40                                                                                                     ` João Távora
2023-04-14 16:53                                                                                                       ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-14 17:49                                                                                                   ` Eli Zaretskii
2023-04-14 18:32                                                                                                     ` João Távora
2023-04-14 18:49                                                                                                       ` Eli Zaretskii
2023-04-14 19:03                                                                                                         ` João Távora
2023-04-14 19:18                                                                                                           ` Eli Zaretskii
2023-04-14 19:31                                                                                                             ` João Távora
2023-04-14 16:12                                                                                               ` Dmitry Gutov
2023-04-14 16:31                                                                                                 ` João Távora
2023-04-14 16:54                                                                                                   ` Philip Kaludercic
2023-04-14 17:32                                                                                                     ` João Távora
2023-04-14 18:27                                                                                                       ` Philip Kaludercic
2023-04-14 18:39                                                                                                         ` João Távora
2023-04-14 19:33                                                                                                           ` Philip Kaludercic
2023-04-14 19:48                                                                                                             ` João Távora
2023-04-14 17:53                                                                                                   ` Eli Zaretskii
2023-04-14 18:44                                                                                                     ` João Távora
2023-04-14 18:51                                                                                                       ` Eli Zaretskii
2023-04-14 19:14                                                                                                         ` Dmitry Gutov
2023-04-14 19:19                                                                                                           ` Eli Zaretskii
2023-04-14 19:21                                                                                                             ` Dmitry Gutov
2023-04-14 19:30                                                                                                               ` Eli Zaretskii
2023-04-14 19:34                                                                                                               ` João Távora
2023-04-14 19:20                                                                                                         ` João Távora
2023-04-14 19:28                                                                                                           ` Eli Zaretskii
2023-04-14 19:46                                                                                                             ` João Távora
2023-04-14 20:04                                                                                                               ` Philip Kaludercic
2023-04-15  8:35                                                                                                                 ` João Távora
2023-04-15 10:40                                                                                                                   ` Philip Kaludercic
2023-04-15 10:44                                                                                                                     ` João Távora
2023-04-15 12:34                                                                                                                     ` Dmitry Gutov
2023-04-15  9:03                                                                                                               ` Eli Zaretskii
2023-04-15 10:24                                                                                                                 ` João Távora
2023-04-15 10:28                                                                                                                   ` Eli Zaretskii
2023-04-15 11:19                                                                                                                   ` Kévin Le Gouguec
2023-04-15 12:33                                                                                                                     ` Dmitry Gutov
2023-04-15 13:36                                                                                                                     ` João Távora
2023-04-15 16:53                                                                                                                       ` Philip Kaludercic
2023-04-15 21:16                                                                                                                       ` Kévin Le Gouguec
2023-04-16 10:23                                                                                                                         ` João Távora
2023-04-16 20:46                                                                                                             ` Dmitry Gutov
2023-04-16 21:54                                                                                                               ` João Távora
2023-04-17  2:30                                                                                                                 ` Eli Zaretskii
2023-04-17  2:24                                                                                                               ` Eli Zaretskii
2023-04-18  1:25                                                                                                                 ` Dmitry Gutov
2023-04-18 11:44                                                                                                                   ` João Távora
2023-04-18 20:38                                                                                                                     ` Dmitry Gutov
2023-04-18 20:56                                                                                                                       ` João Távora
2023-04-18 21:06                                                                                                                         ` Dmitry Gutov
2023-04-18 21:15                                                                                                                           ` João Távora
2023-04-18 21:20                                                                                                                             ` Dmitry Gutov
2023-04-19 12:05                                                                                                                               ` Eli Zaretskii
2023-04-19 13:04                                                                                                                                 ` João Távora
2023-04-19 13:35                                                                                                                                   ` Eli Zaretskii
2023-04-19 14:04                                                                                                                                     ` João Távora
2023-04-19 16:02                                                                                                                                       ` Eli Zaretskii
2023-04-19 16:17                                                                                                                                         ` João Távora
2023-04-19 15:48                                                                                                                                 ` Dmitry Gutov
2023-04-19 16:10                                                                                                                                   ` Eli Zaretskii
2023-04-19 16:23                                                                                                                                     ` João Távora
2023-04-19 16:50                                                                                                                                       ` Eli Zaretskii
2023-04-19 17:27                                                                                                                                         ` João Távora
2023-04-19 18:00                                                                                                                                           ` Eli Zaretskii
2023-04-19 18:27                                                                                                                                             ` João Távora
2023-04-19 18:48                                                                                                                                               ` Eli Zaretskii
2023-04-19 17:23                                                                                                                                     ` Dmitry Gutov
2023-04-19 17:53                                                                                                                                       ` Eli Zaretskii
     [not found]                                                                                                                   ` <83r0sh8i1q.fsf@gnu.org>
     [not found]                                                                                                                     ` <35638c9d-e13f-fad8-5f95-ea03d65d4aa2@gmail.com>
     [not found]                                                                                                                       ` <CALDnm53J-HnUz26thrMbFXEARE8yiOJiBb2M75Qm3KKnxRxWzQ@mail.gmail.com>
     [not found]                                                                                                                         ` <87a5z3izst.fsf@web.de>
     [not found]                                                                                                                           ` <83v8hr7qk9.fsf@gnu.org>
     [not found]                                                                                                                             ` <CALDnm51zZw4JhnxCEUApN0N-90c08d-jOct5i2xcTMOhBb78=g@mail.gmail.com>
     [not found]                                                                                                                               ` <83pm7z7nkc.fsf@gnu.org>
     [not found]                                                                                                                                 ` <4b63ef62-5e1c-3dcf-ec7b-06b69e79133b@gutov.dev>
     [not found]                                                                                                                                   ` <83o7nj7mfn.fsf@gnu.org>
     [not found]                                                                                                                                     ` <bd688d7c-1588-43f3-49db-c90d1312fad8@gutov.dev>
     [not found]                                                                                                                                       ` <CALDnm5341n=_VtRH2JxsDEH=7uwdsaCQMSCOn+jzDpfnh1qm7A@mail.gmail.com>
     [not found]                                                                                                                                         ` <556e0fbb-215e-c11d-0e8b-73e97441abbb@gutov.dev>
     [not found]                                                                                                                                           ` <CALDnm52=KRVBn3Zse2DDC-SMHGot0mRpYUEZ7FH5vmAVH4Rimw@mail.gmail.com>
     [not found]                                                                                                                                             ` <e3408f6b-f050-a96d-c8c6-5f790cc90df4@gutov.dev>
2023-04-20 10:02                                                                                                                                               ` Eli Zaretskii
2023-04-20 10:31                                                                                                                                                 ` João Távora
2023-04-20 11:49                                                                                                                                                   ` Eli Zaretskii
2023-04-20 11:53                                                                                                                                                     ` João Távora
2023-04-20 12:14                                                                                                                                                       ` Eli Zaretskii
2023-04-20 13:39                                                                                                                                                 ` Dmitry Gutov
2023-04-20 13:56                                                                                                                                                   ` João Távora
2023-04-20 14:25                                                                                                                                                     ` João Távora
2023-04-20 14:31                                                                                                                                                       ` Dmitry Gutov
2023-04-20 14:40                                                                                                                                                         ` João Távora
2023-04-21  0:22                                                                                                                                                           ` Dmitry Gutov
2023-04-20 14:49                                                                                                                                                       ` Eli Zaretskii
2023-04-20 15:03                                                                                                                                                         ` João Távora
2023-04-20 14:51                                                                                                                                                       ` Philip Kaludercic
2023-04-20 14:30                                                                                                                                                     ` Dmitry Gutov
2023-04-20 14:25                                                                                                                                                   ` Eli Zaretskii
2023-04-20 18:08                                                                                                                                                     ` Robert Pluim
2023-04-20 18:24                                                                                                                                                       ` Philip Kaludercic
2023-04-20 18:53                                                                                                                                                       ` João Távora
2023-04-24  7:48                                                                                                                                                         ` Robert Pluim
2023-04-24  8:57                                                                                                                                                           ` João Távora
2023-04-24  9:38                                                                                                                                                             ` Robert Pluim
2023-04-24 11:43                                                                                                                                                               ` João Távora
2023-04-24 13:01                                                                                                                                                                 ` Robert Pluim
2023-04-24 13:08                                                                                                                                                                   ` Eli Zaretskii
2023-04-24 13:12                                                                                                                                                                     ` Robert Pluim
2023-04-24 20:36                                                                                                                                                                   ` Dmitry Gutov
2023-04-24 22:45                                                                                                                                                                   ` João Távora
2023-04-21  0:50                                                                                                                                                     ` Dmitry Gutov
2023-04-21  6:37                                                                                                                                                       ` Eli Zaretskii
2023-04-21 10:19                                                                                                                                                         ` Dmitry Gutov
2023-04-21 11:05                                                                                                                                                           ` Eli Zaretskii
2023-04-21 23:12                                                                                                                                                             ` Dmitry Gutov
2023-04-22  0:57                                                                                                                                                               ` Dmitry Gutov
2023-04-22  8:33                                                                                                                                                                 ` Eli Zaretskii
2023-04-22 10:30                                                                                                                                                                   ` Dmitry Gutov
2023-04-22 11:11                                                                                                                                                                     ` Eli Zaretskii
2023-04-22 11:24                                                                                                                                                                       ` Dmitry Gutov
2023-04-22 11:29                                                                                                                                                                         ` Dmitry Gutov
2023-04-22 12:01                                                                                                                                                                           ` Eli Zaretskii
2023-04-22 12:00                                                                                                                                                                         ` Eli Zaretskii
2023-04-22 12:14                                                                                                                                                                           ` Dmitry Gutov
2023-04-22 12:24                                                                                                                                                                             ` Eli Zaretskii
2023-04-22 23:46                                                                                                                                                                           ` Dmitry Gutov
2023-04-23  6:39                                                                                                                                                                             ` Eli Zaretskii
2023-04-23 11:58                                                                                                                                                                               ` Dmitry Gutov
2023-04-23 13:02                                                                                                                                                                                 ` Eli Zaretskii
2023-04-23 13:11                                                                                                                                                                                   ` Dmitry Gutov
2023-04-23 14:24                                                                                                                                                                                     ` Eli Zaretskii
2023-04-23 21:53                                                                                                                                                                                       ` Dmitry Gutov
2023-04-24 11:58                                                                                                                                                                                         ` Eli Zaretskii
2023-04-24 23:45                                                                                                                                                                                           ` Dmitry Gutov
2023-04-25  7:47                                                                                                                                                                                             ` Eli Zaretskii
2023-04-25 12:08                                                                                                                                                                                               ` Dmitry Gutov
2023-04-25 12:12                                                                                                                                                                                                 ` João Távora
2023-04-25 12:43                                                                                                                                                                                                 ` Eli Zaretskii
2023-04-25 18:35                                                                                                                                                                                                   ` Dmitry Gutov
2023-04-26 23:05                                                                                                                                                                                                     ` Dmitry Gutov
2023-04-27  5:41                                                                                                                                                                                                       ` Eli Zaretskii
2023-04-27  9:00                                                                                                                                                                                                         ` Dmitry Gutov
2023-04-27 10:44                                                                                                                                                                                                           ` Eli Zaretskii
2023-04-27 23:51                                                                                                                                                                                                             ` Dmitry Gutov
2023-04-28  5:19                                                                                                                                                                                                               ` Eli Zaretskii
2023-05-04 23:58                                                                                                                                                                                                                 ` Dmitry Gutov
2023-05-05  5:04                                                                                                                                                                                                                   ` Eli Zaretskii
2023-05-05  5:41                                                                                                                                                                                                                     ` Philip Kaludercic
2023-05-05 13:58                                                                                                                                                                                                                     ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-05-05 14:05                                                                                                                                                                                                                       ` Eli Zaretskii
2023-05-06  1:02                                                                                                                                                                                                                         ` Dmitry Gutov
2023-04-23 13:05                                                                                                                                                                               ` Philip Kaludercic
2023-04-23 13:09                                                                                                                                                                                 ` Dmitry Gutov
2023-04-22  0:57                                                                                                                                                               ` João Távora
2023-04-22 11:38                                                                                                                                                                 ` Dmitry Gutov
2023-04-22 12:12                                                                                                                                                                   ` João Távora
2023-04-22  8:26                                                                                                                                                               ` Eli Zaretskii
2023-04-22 10:48                                                                                                                                                                 ` Dmitry Gutov
2023-04-22 11:20                                                                                                                                                                   ` Eli Zaretskii
2023-04-14 13:40                                                                                         ` Eli Zaretskii
2023-04-14 16:04                                                                                           ` Dmitry Gutov
2023-04-14 17:43                                                                                             ` Eli Zaretskii
2023-04-14 17:47                                                                                               ` Dmitry Gutov
2023-04-14 17:59                                                                                                 ` Eli Zaretskii
2023-04-22 23:37                                                                                     ` Dmitry Gutov
2023-04-23 13:02                                                                                       ` Philip Kaludercic
2023-04-23 20:56                                                                                         ` Dmitry Gutov
2023-04-25 12:24                                                                                           ` Philip Kaludercic
2023-05-01  2:00                                                                                         ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-13 16:59                                                                         ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-13 15:14                                                                     ` Philip Kaludercic
2023-04-13 15:59                                                                       ` Eli Zaretskii
2023-04-13 16:13                                                                         ` Dmitry Gutov
2023-04-13 19:14                                                                         ` Philip Kaludercic
2023-04-14 10:56                                                                           ` Eli Zaretskii
2023-04-14 16:40                                                                             ` Philip Kaludercic
2023-04-15  8:37                                                                               ` Eli Zaretskii
2023-04-15 10:41                                                                                 ` Philip Kaludercic
2023-04-15 10:56                                                                                   ` Eli Zaretskii
2023-04-15 11:37                                                                                     ` Philip Kaludercic
2023-04-15 11:43                                                                                       ` Eli Zaretskii
2023-04-15 13:21                                                                                         ` Philip Kaludercic
2023-04-15 13:51                                                                                           ` Eli Zaretskii
2023-04-15 17:14                                                                                             ` Philip Kaludercic
2023-04-15 17:37                                                                                               ` Eli Zaretskii
2023-04-15 18:19                                                                                                 ` Philip Kaludercic
2023-04-15 18:37                                                                                                   ` Eli Zaretskii
2023-04-16 13:45                                                                                                     ` Philip Kaludercic
2023-04-16 15:12                                                                                                       ` Eli Zaretskii
2023-04-16 10:44                                                                                                   ` João Távora
2023-04-16 14:23                                                                                                     ` Kévin Le Gouguec
2023-04-12 20:10                                                       ` Philip Kaludercic
2023-04-13  5:49                                                         ` Eli Zaretskii
2023-04-12 15:49                                           ` Dmitry Gutov
2023-04-12 15:59                                             ` Eli Zaretskii
2023-04-12 16:29                                               ` João Távora
2023-04-12 20:50                                                 ` Dmitry Gutov
2023-04-12 15:45                                         ` Dmitry Gutov
2023-04-11 18:54                       ` Eli Zaretskii
2023-04-11 20:28                         ` João Távora
2023-04-12  5:51                           ` Eli Zaretskii
2023-04-12  9:18                             ` João Távora
2023-04-12  9:53                               ` Eli Zaretskii
2023-04-12 12:37                                 ` João Távora
2023-04-12 13:20                                 ` Philip Kaludercic
2023-04-12 16:54                                   ` Eli Zaretskii
2023-04-11 19:44                 ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-11 20:05                   ` João Távora
2023-04-11 21:36                     ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-12  7:34                       ` Philip Kaludercic
2023-04-12  5:44                   ` Eli Zaretskii
2023-04-12  7:44                     ` Philip Kaludercic
2023-04-12  8:10                       ` Eli Zaretskii
2023-04-12 14:14                     ` Stefan Monnier via Bug reports for GNU Emacs, the Swiss army knife of text editors
2023-04-11 21:14                 ` Dmitry Gutov
2023-04-12  9:34                   ` João Távora
2023-04-12 15:38                     ` Dmitry Gutov
2023-04-08  7:10 ` Eli Zaretskii
2023-04-08  9:09   ` João Távora
2023-04-08 14:51     ` Ihor Radchenko
2023-04-08 15:23       ` João Távora
2023-04-08 15:31         ` Ihor Radchenko
2023-04-08 18:10           ` João Távora

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CALDnm53527qm8GuAauV7WnEPLFgYzqBbS5zhVUQFrcykRdYBmw@mail.gmail.com \
    --to=joaotavora@gmail.com \
    --cc=62720@debbugs.gnu.org \
    --cc=eliz@gnu.org \
    --cc=larsi@gnus.org \
    --cc=monnier@iro.umontreal.ca \
    --cc=philipk@posteo.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).