Update for 2020.02.1
authorPeter Korsgaard <peter@korsgaard.com>
Fri, 10 Apr 2020 20:42:41 +0000 (22:42 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 11 Apr 2020 06:43:29 +0000 (08:43 +0200)
commit673d54c6005c25007bdcfa9b014f9dbd104c86db
tree5840f9d6316fd8f9fe695904c55c35906cbb3060
parentceb89051d8d8ca9d9601d153aa74ecd600947c1e
Update for 2020.02.1

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