Update for 2019.05.2
authorPeter Korsgaard <peter@korsgaard.com>
Tue, 3 Sep 2019 10:37:46 +0000 (12:37 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Tue, 3 Sep 2019 11:14:45 +0000 (13:14 +0200)
commit3b877a7fe57b11b8d12dece5ab2db9e641c6c662
tree88a8204128a2f156be20e0a4df9aeaba648fc17a
parent268c7cf691a33b658922e6e4dd6b83a71b83df54
Update for 2019.05.2

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