bug#41684: [PATCH] Highlight typed variables in python

[Konstantin Kharlamov <hi-angel@yandex.ru>]

On Sat, 2020-06-13 at 12:15 +0300, Eli Zaretskii wrote:
> > From: Konstantin Kharlamov <hi-angel@yandex.ru>
> > Cc: 41684-done@debbugs.gnu.org
> > Date: Sat, 13 Jun 2020 11:57:44 +0300
> > 
> > >   . it is better to submit patches in "git format-patch" format,
> > > as
> > >     that makes it easier to apply the patch
> > 
> > Hmm, okay… The patch was sent with git-send-email command, is it
> > different from git-format-patch?
> 
> It isn't how you send the patches that's the issue, it's the way you
> produced the patch.  AFAIK, git-send-email accepts patches formatted
> with git-format-patch, but it doesn't look like you used the latter
> to
> produce a patch.

Thanks, right, I haven't used any other command except git-send-email.
Specifically, I have executed  `git send-email -1 --annotate` and then
filled in required fields.