Update for 2018.11.2
authorPeter Korsgaard <peter@korsgaard.com>
Wed, 30 Jan 2019 15:40:32 +0000 (16:40 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 31 Jan 2019 16:23:43 +0000 (17:23 +0100)
commit8b8ba9ec1aab8234505b6dc36ffab625364c82a6
treedf186a1d70210ac93152c31062421951bb069725
parent3019b97648547b28806b3883ac98dc2315c06dd2
Update for 2018.11.2

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