Update for 2018.02.10
authorPeter Korsgaard <peter@korsgaard.com>
Thu, 31 Jan 2019 16:37:58 +0000 (17:37 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 31 Jan 2019 21:12:51 +0000 (22:12 +0100)
commit96edc472f9adb211df64646585967512a933d501
tree62407d2b20f189a677ad170c43b6c92d11593529
parent8b8ba9ec1aab8234505b6dc36ffab625364c82a6
Update for 2018.02.10

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