[debbugs-tracker] bug#37830: closed ()

[GNU bug Tracking System]

Your message dated Sun, 20 Oct 2019 15:29:11 +0200
with message-id <address@hidden>
and subject line Re: bug#37830:
has caused the debbugs.gnu.org bug report #37830,
regarding 
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
37830: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37830
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
>
>
>
>
>
> Date: 
>
> Sun, 20 Oct 2019 12:27:00 +0200
>
>
>
>
> tags 37706 + patch
> quit
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#37830:
>
>
>
>
> Date: 
>
> Sun, 20 Oct 2019 15:29:11 +0200
>
>
>
>
> Hi Paul,
>
> Paul Pogonyshev <address@hidden> writes:
> > tags 37706 + patch
> > quit
>
> You need to send this email to address@hidden for the patch
> tag to take effect; you now accidentally opened a new bug instead.
> Please resend the above to that email address instead.
>
> I'm closing this bug report now.
>
> Best regards,
> Stefan Kangas
>
>
> --- End Message ---