Update for 2020.02.4
authorPeter Korsgaard <peter@korsgaard.com>
Sun, 26 Jul 2020 08:08:24 +0000 (10:08 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 26 Jul 2020 08:42:51 +0000 (10:42 +0200)
commit39d71a8c32b6ff496a3c849727ce7cd79fd26f52
tree7f8d7a70ca1acf2ff315170237b3045082bd93d1
parent4138c2e98d22d03ff39800401dc15277956bcec7
Update for 2020.02.4

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