Update for 2020.02.10
authorPeter Korsgaard <peter@korsgaard.com>
Sun, 31 Jan 2021 21:22:50 +0000 (22:22 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 31 Jan 2021 21:48:51 +0000 (22:48 +0100)
commit0518eee5753779f021b2c6497d2d6f53c5951d98
treed5c530f84bbfe9920147c798904fa058363b2e9f
parent19a3ae79fe9298f04ba1c8300deac152baa7a789
Update for 2020.02.10

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