Update for 2018.08.3
authorPeter Korsgaard <peter@korsgaard.com>
Mon, 26 Nov 2018 21:50:27 +0000 (22:50 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 26 Nov 2018 22:14:06 +0000 (23:14 +0100)
commitccfdcd1769872a7df9787456d115eb0fd1cacde7
tree2508a56bc5ad16062b25b336d566fa2afc0cc559
parentea7c5aad0f2192429176d6f0b7f9612f7d970fcf
Update for 2018.08.3

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