From 517b8f7e9c32870d98fcfcc5a6c27670581c62ee Mon Sep 17 00:00:00 2001
From: Fabio Scotoni <34964387+fscoto@users.noreply.github.com>
Date: Sat, 28 Dec 2019 15:05:14 +0100
Subject: [PATCH] dist.sh: Forgot copyright header for myself

Was just a one-line find(1) change, so one could argue removal of me in
the CC-0 header would've been cleaner,
but Loup wanted me to take credit for it (e-mail of Oct 21, 2019).
---
 dist.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dist.sh b/dist.sh
index a804fa6..e0f8903 100755
--- a/dist.sh
+++ b/dist.sh
@@ -12,6 +12,7 @@
 # ------------------------------------------------------------------------
 #
 # Copyright (c) 2019, Loup Vaillant
+# Copyright (c) 2019, Fabio Scotoni
 # All rights reserved.
 #
 #
-- 
2.47.3