Update for 2019.02.10
authorPeter Korsgaard <peter@korsgaard.com>
Mon, 16 Mar 2020 21:20:02 +0000 (22:20 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 16 Mar 2020 21:46:36 +0000 (22:46 +0100)
commit2ccbb133b25371e6bf9bb2e157e46e80d51a43aa
treeb6f77ee7d1d65a83068d8832ebbe50bd8f97b424
parent131083c4abfe345a307d44dd45b7966a638f37ae
Update for 2019.02.10

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