Update for 2019.02.7
authorPeter Korsgaard <peter@korsgaard.com>
Sun, 10 Nov 2019 21:40:03 +0000 (22:40 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 11 Nov 2019 08:01:14 +0000 (09:01 +0100)
commit046735f5d17d0faa0a008b62fd9e260ad1c55e7a
treefcbb4a25eb9a9d05ce08261c2c6303ce25dd34ca
parentcf741893b6b29b1e9d76e69341fdb29d6eab3c80
Update for 2019.02.7

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