Update for 2018.02.7
authorPeter Korsgaard <peter@korsgaard.com>
Thu, 25 Oct 2018 18:43:18 +0000 (20:43 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Thu, 25 Oct 2018 19:07:23 +0000 (21:07 +0200)
commit684f79d0f290c305ec488b68371b744eaa297bf5
tree2271f330a97a0ac54ffbf6e06599cc5a4e7aca59
parent99275417a5d23adecc5072122b357df77aaabb2b
Update for 2018.02.7

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