Update for 2020.05.1
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 25 Jul 2020 07:32:14 +0000 (09:32 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 26 Jul 2020 08:38:47 +0000 (10:38 +0200)
commitc80e5c9b2a87d9e6781c31649215bd0429d21b59
tree61440c4856f1f2575c9e0866286d652d41381331
parentad953b0149abf13715d7bcfbe8eac1a1b6e6c2c5
Update for 2020.05.1

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