Update copyright year.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 11 Apr 2020 16:24:45 +0000 (18:24 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 8 May 2020 15:20:19 +0000 (17:20 +0200)
commite5e7cf0b78313ca5e696a56e8339c7090bf0cca0
tree2eeb69f44fb7ccd5a6deb3c791cf0bbf7a201a31
parente763809050b0c9a88cbb7fdf85082e33120efa9b
Update copyright year.

Fortunately, there is only a single location that needs to be
updated.
Makefile.real