Subject: Re: bug#33444: [PATCH] doc: Partition space recommendations.
From: zimoun <[email-masked]>
To: swedebugia <[email-masked]>
Cc: [email-masked]
Date: Sat, 08 Oct 2022 16:34:51 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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 <[email-masked]> 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