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: 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 +
 1 file changed, 1 insertion(+)

(limited to 'nongnu/packages/coq.scm')

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.
 ;;;
-- 
cgit v1.2.3