Update for 2018.11.1
authorPeter Korsgaard <peter@korsgaard.com>
Wed, 19 Dec 2018 22:04:07 +0000 (23:04 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Wed, 19 Dec 2018 22:29:24 +0000 (23:29 +0100)
commitab3d2dead1691466d2c034d7cedfc7bafef5e7e7
treef6646efc21002d8e200f1f536da6c27ca6eb0902
parentfaac4acd41b15d5e8db16ac363c442f6a70a72ae
Update for 2018.11.1

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