Update for 2018.11.3
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 23 Feb 2019 22:13:58 +0000 (23:13 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 24 Feb 2019 06:57:43 +0000 (07:57 +0100)
commit234525e782a44e99136ce8869252baee96e39fc6
tree690b115a347d2c69ab1bd1cd6e837b9899121dcd
parentd42220921c9602b856e7baca09c3a20c69b00631
Update for 2018.11.3

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