GNU bug report logs - #55547
[PATCH] gnu: gandi.cli: Fix build.

Previous Next

Package: guix-patches;

Reported by: Pierre Langlois <pierre.langlois <at> gmx.com>

Date: Fri, 20 May 2022 20:13:01 UTC

Severity: normal

Tags: patch

Done: Pierre Langlois <pierre.langlois <at> gmx.com>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Pierre Langlois <pierre.langlois <at> gmx.com>
Cc: 55547 <at> debbugs.gnu.org
Subject: [bug#55547] [PATCH] gnu: gandi.cli: Fix build.
Date: Mon, 30 May 2022 16:28:46 +0200
Hi,

Pierre Langlois <pierre.langlois <at> gmx.com> skribis:

> The patches are pretty trivial, I guess I should be able to just push
> them? I'm never too sure :-).

Yes please, go ahead!

For the record, the rules are given here:

  https://guix.gnu.org/manual/devel/en/html_node/Commit-Access.html#Commit-Policy

To me these patches fall under the “trivial patch” rule (and also under
the “two week” rule actually!).

Thanks,
Ludo’.




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

Previous Next


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