Merge pull request #3108 from rubenk/cirrus-improvements
authorMarc Fournier <marc.fournier@camptocamp.com>
Thu, 7 Mar 2019 10:31:10 +0000 (11:31 +0100)
committerGitHub <noreply@github.com>
Thu, 7 Mar 2019 10:31:10 +0000 (11:31 +0100)
Cirrus improvements


Trivial merge