Update for 2018.08.4
authorPeter Korsgaard <peter@korsgaard.com>
Thu, 20 Dec 2018 09:44:05 +0000 (10:44 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 20 Dec 2018 10:18:58 +0000 (11:18 +0100)
commitb0a209ee0e64b9f0a9cad9849eecb6be375307f0
tree1b0bec9723c2fa98717e92d33eb05717ad80a60a
parented1a8b57ee8dc79bb4b75086513c25a13198522c
Update for 2018.08.4

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