Update for 2020.11.3
authorPeter Korsgaard <peter@korsgaard.com>
Wed, 17 Feb 2021 18:24:35 +0000 (19:24 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Wed, 17 Feb 2021 18:43:17 +0000 (19:43 +0100)
commitecbfbabcf746bc9c9ff00c31f1b602c996c0db69
tree57d2c6a7d8476b906a876119e2d7a63b4fc7e859
parent21eb7775510d76163c2159bca14d3802283119e3
Update for 2020.11.3

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