Update for 2019.05.3
authorPeter Korsgaard <peter@korsgaard.com>
Thu, 3 Oct 2019 14:47:24 +0000 (16:47 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Fri, 4 Oct 2019 06:54:44 +0000 (08:54 +0200)
commitc8bab5be06a7516388bef4cad86554fd4848e246
treed6f8c2d0c2a26b6218ac7e8b51e22d6b3b33ec9b
parent2fb0165142b2b333965c044dc97640d60a592f90
Update for 2019.05.3

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