bug#57833: closed ([PATCH] gnu: xonsh: Update to 0.13.3)

[GNU bug Tracking System]

Your message dated Thu, 22 Sep 2022 10:05:22 +0800
with message-id <871qs4duzh.fsf@envs.net>
and subject line Re: bug#57833: [PATCH] gnu: xonsh: Update to 0.13.3
has caused the debbugs.gnu.org bug report #57833,
regarding [PATCH] gnu: xonsh: Update to 0.13.3
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: xonsh: Update to 0.13.3 Date: Thu, 15 Sep 2022 15:01:58 +0000

0001-gnu-xonsh-Update-to-0.13.3.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#57833: [PATCH] gnu: xonsh: Update to 0.13.3
>
>
>
>
> Date: 
>
> Thu, 22 Sep 2022 10:05:22 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux)
>
>
>
>
> Pushed, thank you!
>
>
> --- End Message ---