Update for 2020.02.12
authorPeter Korsgaard <peter@korsgaard.com>
Mon, 5 Apr 2021 10:36:40 +0000 (12:36 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Mon, 5 Apr 2021 12:01:20 +0000 (14:01 +0200)
commitd81ac2e40f6f632a7b48a6eda75a135cedfb647f
treeb85944e3e00cffe2dccccd7b429a7309a62cd9dc
parentb3ba0f1d2fba612a95a224b6d32f56015f1f28e1
Update for 2020.02.12

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