tree 54e43e7a9e272124553774fe70f3816a39190dac
parent 0c9449d6d421cd5c208901a62f541e5b4afe5513
parent 7ed33e45a3c1b160d4e2381760681d8b0a272cd6
author Jakub Josef <jakub.josef@gmail.com> 1498475281 +0000
committer Gerrit Code Review <gerrit2@32a4cf582fa9> 1498475283 +0000

Merge "New version of gating pipeline with capability to give Verified +1"