bug#33444: closed ([PATCH] doc: Partition space recommendations.)

[GNU bug Tracking System]

Your message dated Sat, 08 Oct 2022 16:34:51 +0200
with message-id <86zge6s7sk.fsf_-_@gmail.com>
and subject line Re: bug#33444: [PATCH] doc: Partition space recommendations.
has caused the debbugs.gnu.org bug report #33444,
regarding [PATCH] doc: Partition space recommendations.
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] doc: Partition space recommendations. Date: Tue, 20 Nov 2018 18:05:20 +0100

--
Cheers
Swedebugia

0001-doc-Partition-space-recommendations.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#33444: [PATCH] doc: Partition space recommendations.
>
>
>
>
> Date: 
>
> Sat, 08 Oct 2022 16:34:51 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Hi,
>
> It is about the patch submission #33444 [1].
>
> 1: <http://issues.guix.gnu.org/issue/33444>
>
>
> On Thu, 23 Jun 2022 at 11:59, zimoun <zimon.toutoune@gmail.com> wrote:
>
> > Friendly ping?
> >
> > Else I am proposing to close.
>
> It is tagged ’moreinfo’ since 19 May 2022 (20 weeks, 1 day, 17 hours
> ago) and no news since months, so I am closing.
>
> Feel free to reopen if I miss something.
>
>
> Cheers,
> simon
>
>
> --- End Message ---