Update for 2018.05.3
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 6 Oct 2018 07:52:12 +0000 (09:52 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 6 Oct 2018 16:02:26 +0000 (18:02 +0200)
commit1b5694bbde038392f32e1b6776f6d9e38f0b010f
treeeadbc2e9adf357883a85174acf5b49ce32c95434
parent95e92e9b1a2c7b199acffa638dba7bb1e7aa9018
Update for 2018.05.3

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