tree 205339ce6649553d36032a41c4ba24738919563d
parent 617e116d943cb7a4f25ed2df4c93a8bab536b4ca
author Jakub Josef <jakub.josef@gmail.com> 1490119120 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1490119120 +0100

Fix gating pipeline

Change-Id: I2817777c66d9f076ffb6966123b77ca1f88724f5