bug#64162: closed ([PATCH] gnu: python-mypy-extensions: Update to 1.0.0)

[GNU bug Tracking System]

Your message dated Sun, 25 Jun 2023 23:38:59 +0200
with message-id <87zg4nw7bg.fsf@gnu.org>
and subject line Re: bug#64162: [PATCH] gnu: python-mypy-extensions: Update to 
1.0.0
has caused the debbugs.gnu.org bug report #64162,
regarding [PATCH] gnu: python-mypy-extensions: Update to 1.0.0
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: python-mypy-extensions: Update to 1.0.0 Date: Mon, 19 Jun 2023 11:16:53 +0200

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

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

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#64162: [PATCH] gnu: python-mypy-extensions: Update to 1.0.0
>
>
>
>
> Date: 
>
> Sun, 25 Jun 2023 23:38:59 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Hi,
>
> Vincent Prat <vprat@deeplinks.com> skribis:
>
> > From 4a68d9116a4b5a81f3eb7d31faa505a6cd1b813a Mon Sep 17 00:00:00 2001
> > From: Vincent Prat <vprat@deeplinks.com>
> > Date: Mon, 19 Jun 2023 11:08:27 +0200
> > Subject: [PATCH 2/2] gnu: python-mypy-extensions: Fix style
> >
> > * gnu/packages/python-check.scm (python-mypy-extensions): Fix style
>
> [...]
>
> > From 403c73debcebba1d8013c3877c3bfd0c909d3c67 Mon Sep 17 00:00:00 2001
> > From: Vincent Prat <vprat@deeplinks.com>
> > Date: Mon, 19 Jun 2023 11:05:08 +0200
> > Subject: [PATCH 1/2] gnu: python-mypy-extensions: Update to 1.0.0
> >
> > * gnu/packages/python-check.scm (python-mypy-extensions): Update to 1.0.0
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---