Update for 2020.02.5
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 29 Aug 2020 19:31:44 +0000 (21:31 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 29 Aug 2020 19:52:14 +0000 (21:52 +0200)
commitb13d173016095df1d6299318c97d62b06db5875e
treef07e4d085a25f82337ffab1113178fc9e69df014
parent2915d1bd323bde196f5492c09665285d6b96a493
Update for 2020.02.5

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