Update for 2019.08.2
authorPeter Korsgaard <peter@korsgaard.com>
Sat, 9 Nov 2019 19:41:24 +0000 (20:41 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 9 Nov 2019 22:02:48 +0000 (23:02 +0100)
commitde6739c846947475a9f233273d9e6102414235fb
treeeb4fd00f08f18bb8e810a6843420dcc6f64cb7cd
parent267131f98374154f338b62f60d01d4d3c6686d99
Update for 2019.08.2

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