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

[Eli Zaretskii]

> 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.