GNU bug report logs - #31909
services: Adjust 2 GPL3 header typos.

Previous Next

Package: guix-patches;

Reported by: Nils Gillmann <ng0 <at> n0.is>

Date: Wed, 20 Jun 2018 08:42:02 UTC

Severity: normal

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log


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

From: Nils Gillmann <ng0 <at> n0.is>
To: guix-patches <at> gnu.org
Subject: services: Adjust 2 GPL3 header typos.
Date: Wed, 20 Jun 2018 08:42:09 +0000
[Message part 1 (text/plain, inline)]
A sed script I just ran catched 2 headers which diverged from the
way the GPL3 header is usually included in Guix.

Appended fix.
[0001-services-Fix-GPL3-header-in-cuirass-and-pm-module.patch (text/plain, attachment)]

This bug report was last modified 6 years and 336 days ago.

Previous Next


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