Update for 2018.02.9
authorPeter Korsgaard <peter@korsgaard.com>
Thu, 20 Dec 2018 11:25:30 +0000 (12:25 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 20 Dec 2018 13:21:49 +0000 (14:21 +0100)
commita295448960aeebdd3efeb1dbe20ed2d673793fc1
tree641b37496b4701c5e651d9a40d0947e0cf065546
parent0d9170a1f7a3fe9092256f5247e166ac1c58fcae
Update for 2018.02.9

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