Update for 2019.02.9
authorPeter Korsgaard <peter@korsgaard.com>
Sun, 12 Jan 2020 15:27:27 +0000 (16:27 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 12 Jan 2020 20:39:09 +0000 (21:39 +0100)
commitd4e7390fae8d1842728e26af1b5e6fa1326d3596
tree8fc7efc931f08072f740b918d72f2b0a7b96bc68
parentaf4ce1f07ee6a7773d3303b5f0a6a4d6f06a503e
Update for 2019.02.9

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