GNU bug report logs - #61078
[PATCH 0/4] Rename '/fixed' by '/pinned'

Previous Next

Package: guix-patches;

Reported by: Simon Tournier <zimon.toutoune <at> gmail.com>

Date: Thu, 26 Jan 2023 16:43:02 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #49 received at 61078-done <at> debbugs.gnu.org (full text, mbox):

From: Simon Tournier <zimon.toutoune <at> gmail.com>
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>,
 61078-done <at> debbugs.gnu.org
Subject: Re: bug#61078: [PATCH v2 1/4] gnu: Rename 'git-minimal/fixed' to
 'git-minimal/pinned'.
Date: Mon, 06 Feb 2023 18:02:16 +0100

Hi,

On dim., 05 févr. 2023 at 07:14, Liliana Marie Prikler <liliana.prikler <at> gmail.com> wrote:

> Done and pushed with the rest of the series.

Thank you.

Cheers,
simon
This bug report was last modified 2 years and 161 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.