Update for 2020.02.2
authorPeter Korsgaard <peter@korsgaard.com>
Tue, 12 May 2020 06:17:15 +0000 (08:17 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 12 May 2020 13:15:23 +0000 (15:15 +0200)
commitd011ca9b69377655f2879d0a78737f12f53c51a0
tree826ac46d1e7d49ed37c0c21c69e245f74cc0a355
parenta388d7443e89b1ba7701785efd8a9c777db2c6f1
Update for 2020.02.2

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