Paul Eggert 365e01cc9f Update copyright year to 2020 ...

Run "TZ=UTC0 admin/update-copyright $(git ls-files)".

2020-01-01 00:59:52 +00:00

..

modhelp.py

Update copyright year to 2020

2020-01-01 00:59:52 +00:00