GNU bug report logs - #57643
[PATCH 0/3] Document the image API.

Previous Next

Package: guix-patches;

Reported by: Mathieu Othacehe <othacehe <at> gnu.org>

Date: Wed, 7 Sep 2022 12:46:02 UTC

Severity: normal

Tags: patch

Done: Mathieu Othacehe <othacehe <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


Message #26 received at 57643 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: Mathieu Othacehe <othacehe <at> gnu.org>, 57643 <at> debbugs.gnu.org
Subject: Re: bug#57643: [PATCH 0/3] Document the image API.
Date: Sat, 24 Sep 2022 11:55:30 +0200
zimoun <zimon.toutoune <at> gmail.com> skribis:

> On Wed, 07 Sep 2022 at 14:46, Mathieu Othacehe <othacehe <at> gnu.org> wrote:
>
>> +* platform Reference::          Detail of platform declarations.
>     -^
> Why not P?

Because it’s the reference of the ‘platform’ data type.  :-)

Ludo’.




This bug report was last modified 2 years and 242 days ago.

Previous Next


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