Merge "Adapt push_logs after CI refactoring"
authorMorgan Richomme <morgan.richomme@orange.com>
Thu, 26 May 2016 14:30:49 +0000 (14:30 +0000)
committerGerrit Code Review <gerrit@172.30.200.206>
Thu, 26 May 2016 14:30:49 +0000 (14:30 +0000)

Trivial merge