bug#64299: closed ([PATCH] gnu: python-mypy: Update to 1.4.1.)

[GNU bug Tracking System]

Your message dated Fri, 15 Sep 2023 11:32:11 +0100
with message-id <87pm2jraj6.fsf@cbaines.net>
and subject line Re: [bug#64299] [PATCH] gnu: python-mypy: Update to 1.4.1.
has caused the debbugs.gnu.org bug report #64299,
regarding [PATCH] gnu: python-mypy: Update to 1.4.1.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
64299: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=64299
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] gnu: python-mypy: Update to 1.4.1. Date: Mon, 26 Jun 2023 11:53:08 +0200

0002-gnu-python-mypy-Fix-style.patch
Description: Text Data

0001-gnu-python-mypy-Update-to-1.4.1.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#64299] [PATCH] gnu: python-mypy: Update to 1.4.1. Date: Fri, 15 Sep 2023 11:32:11 +0100 User-agent: mu4e 1.10.5; emacs 28.2

Vincent Prat <vprat@deeplinks.com> writes:

> [2. text/x-patch; 0002-gnu-python-mypy-Fix-style.patch]...
>
> [3. text/x-patch; 0001-gnu-python-mypy-Update-to-1.4.1.patch]...

I missed the 2nd patch here, but I've pushed the first one as
eeeaf13984b96ca8856532559d5ab755c560e42c.

python-mypy does have quite a few dependencies, but QA had processed it
so it seemed OK to push.

Thanks,

Chris

signature.asc
Description: PGP signature

--- End Message ---