Update for 2020.02.3
authorPeter Korsgaard <peter@korsgaard.com>
Wed, 3 Jun 2020 14:55:41 +0000 (16:55 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 4 Jun 2020 09:10:45 +0000 (11:10 +0200)
commite7f14106c7457412e52fac0b57eb1ac33ffa74e4
tree552edd16318a8da4d4c75d4a3b3ce85ab0db12e0
parent5e25490fc4e658167dbfb062a0d16873d3b00c7a
Update for 2020.02.3

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