Subject: bug#37282: closed (Re: [bug#37282] [PATCH 19/19] gnu: Add copyright header.)

From: [email-masked] (GNU bug Tracking System)
Date: Mon, 09 Sep 2019 21:49:03 +0000

Your bug report

#37282: [PATCH 19/19] gnu: Add copyright header.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
37282: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37282
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#37282] [PATCH 19/19] gnu: Add copyright header.
From: Ludovic Courtès <[email-masked]>
To: L p R n d n <[email-masked]>
Cc: [email-masked]
Date: Mon, 09 Sep 2019 23:48:10 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

L  p R n  d n <[email-masked]> skribis:

> * gnu/packages/xfce.scm: Add copyright header.

Applied, thanks!

Subject: [PATCH 19/19] gnu: Add copyright header.
From: L p R n d n <[email-masked]>
To: [email-masked]
Date: Mon, 2 Sep 2019 17:05:44 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

* gnu/packages/xfce.scm: Add copyright header.
---
 gnu/packages/xfce.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/xfce.scm b/gnu/packages/xfce.scm
index 524abe1bdf..2dab7d103c 100644
--- a/gnu/packages/xfce.scm
+++ b/gnu/packages/xfce.scm
@@ -9,6 +9,7 @@
 ;;; Copyright © 2017 ng0 <[email-masked]>
 ;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <[email-masked]>
 ;;; Copyright © 2019 Pkill -9 <[email-masked]>
+;;; Copyright © 2019 L  p R n  d n <[email-masked]>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
-- 
2.22.0