Update for 2020.05.3
authorPeter Korsgaard <peter@korsgaard.com>
Mon, 12 Oct 2020 17:56:39 +0000 (19:56 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 12 Oct 2020 21:05:39 +0000 (23:05 +0200)
commitd41e799c45d3c7101e714ebfb111b98d4e7dbf60
treec4b1f01c8ae76c25357eabdf902051674c5c842e
parente2f8ec5e840848e0fefb4d5d721b4f75298b9a43
Update for 2020.05.3

Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
(cherry picked from commit 0269b2e6e224bd0ca04e4f25ccef86809108df0c)
[Peter: drop Makefile changes]
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
CHANGES