Update for 2019.08.3
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 7 Dec 2019 13:31:25 +0000 (14:31 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 7 Dec 2019 17:38:36 +0000 (18:38 +0100)
commit8f75fbbec1edb90d23e1b3d09ee3a434bf898144
tree03de95d62081b35c2ac7e4d6b5772ae86c4f71ab
parent2ca0accc21a090874ac6e97670b47153a1f0a0b5
Update for 2019.08.3

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