From 919727dcd45af372dccb0ad3dec752a01e1f1650 Mon Sep 17 00:00:00 2001
From: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Date: Tue, 2 Feb 2021 22:16:11 +0100
Subject: [PATCH] nongnu: Add missing copyright headers for Isaac and me.

* nongnu/packages/coq.scm: Add copyright for Isaac Young.
* nongnu/packages/linux.scm: Add copyright year for me.
---
 nongnu/packages/coq.scm   | 1 +
 nongnu/packages/linux.scm | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm
index a0bad48..505df7d 100644
--- a/nongnu/packages/coq.scm
+++ b/nongnu/packages/coq.scm
@@ -1,5 +1,6 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2020 Julien Lepiller <julien@lepiller.eu>
+;;; Copyright © 2021 Isaac Young <isyoung@pm.me> 
 ;;;
 ;;; This file is not part of GNU Guix.
 ;;;
diff --git a/nongnu/packages/linux.scm b/nongnu/packages/linux.scm
index 706f267..c079c2b 100644
--- a/nongnu/packages/linux.scm
+++ b/nongnu/packages/linux.scm
@@ -3,7 +3,7 @@
 ;;; Copyright © 2019 Giacomo Leidi <goodoldpaul@autistici.org>
 ;;; Copyright © 2019 Timotej Lazar <timotej.lazar@araneo.si>
 ;;; Copyright © 2020 James Smith <jsubuntuxp@disroot.org>
-;;; Copyright © 2020 Jonathan Brielmaier <jonathan.brielmaier@web.de>
+;;; Copyright © 2020,2021 Jonathan Brielmaier <jonathan.brielmaier@web.de>
 ;;;
 ;;; This program is free software: you can redistribute it and/or modify
 ;;; it under the terms of the GNU General Public License as published by