Update for 2018.02.12
authorPeter Korsgaard <peter@korsgaard.com>
Fri, 29 Mar 2019 14:27:56 +0000 (15:27 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Fri, 29 Mar 2019 15:12:53 +0000 (16:12 +0100)
commitd5c8e9e37adf2b468f3b1e7b30ae262d5ea1a77a
tree1f39dd8b09656daec4f47629726d6c90c8fe8a3d
parentbf8e36cf2f36d4740889af6b264e19d973b10904
Update for 2018.02.12

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