Merge branch 'master' into fix-eoan-build
authorIstván Váradi <ivaradi@users.noreply.github.com>
Fri, 4 Oct 2019 18:15:38 +0000 (20:15 +0200)
committerGitHub <noreply@github.com>
Fri, 4 Oct 2019 18:15:38 +0000 (20:15 +0200)
commitfd7ba861a1d13711e6c6dfe1b7f96e8cb6e9d62e
treef6830c8b593378a72bdd31a02cfba7f98091d303
parent37f74291b51b07a438b5a03d46ba390af1af5579
parentdddb233f16c2c6b3c262a952189d67926685ef78
Merge branch 'master' into fix-eoan-build