Update for 2019.11.3
authorPeter Korsgaard <peter@korsgaard.com>
Fri, 10 Apr 2020 06:42:28 +0000 (08:42 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 11 Apr 2020 06:39:08 +0000 (08:39 +0200)
commited4f7ddf49c0d328da8c08bbc4e8ad689a198a0c
treec7b7788f6425d8ab32764d245da13865cd7aaf1f
parent37b24ef6dbacadd1f6ba76c30eed6dfa3f46d54e
Update for 2019.11.3

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