From e5e7cf0b78313ca5e696a56e8339c7090bf0cca0 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 11 Apr 2020 18:24:45 +0200
Subject: [PATCH] Update copyright year.

Fortunately, there is only a single location that needs to be
updated.
---
 Makefile.real | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.real b/Makefile.real
index 7d4eff4f..ddf85b58 100644
--- a/Makefile.real
+++ b/Makefile.real
@@ -20,7 +20,7 @@ uname_s := $(shell uname -s 2>/dev/null || echo "UNKNOWN_OS")
 uname_rs := $(shell uname -rs)
 cc_version := $(shell $(CC) --version | head -n 1)
 GIT_VERSION := $(shell ./GIT-VERSION-GEN git-version.h)
-COPYRIGHT_YEAR := 2019
+COPYRIGHT_YEAR := 2020
 
 ifeq ("$(origin O)", "command line")
 	build_dir := $(O)
-- 
2.39.2