Update for 2018.02.11
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 23 Feb 2019 19:59:56 +0000 (20:59 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 23 Feb 2019 21:42:56 +0000 (22:42 +0100)
commitea5cf87d56a43dfb696f0b3c17bf376a9c65b5dc
treeb3df3429c7120aac6e812c932742b69b01025dda
parentfc9f9cd76f11ae45974cf106b094a18186267869
Update for 2018.02.11

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