Update for 2019.11.1
authorPeter Korsgaard <peter@korsgaard.com>
Sun, 12 Jan 2020 12:18:07 +0000 (13:18 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 12 Jan 2020 14:50:47 +0000 (15:50 +0100)
commit538d277312e365f8862d0a6acefd0948f5eef49b
tree765ad75be52d309e972f7bb1b602d98cda960d89
parent5bb074ab4f55ee985dcdebdaaa3d376f3ea81bde
Update for 2019.11.1

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