[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#55547] [PATCH] gnu: gandi.cli: Fix build.
|
From: |
Ludovic Courtès |
|
Subject: |
[bug#55547] [PATCH] gnu: gandi.cli: Fix build. |
|
Date: |
Mon, 30 May 2022 16:28:46 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) |
Hi,
Pierre Langlois <pierre.langlois@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’.