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)
commitb90d2a74f749faf39ba4fa8d2d1ef7d7411f1ba4
treed3dc5d57860dc7f1fb6ce5e64a7886c41c78ba9f
parentccf9586cbd6b6a2ab0dfe2075992c71561a6910d
parent9bb068a42e2ebf5886bad17d9cd55b1434ab3050
Merge pull request #3108 from rubenk/cirrus-improvements

Cirrus improvements