tree aaa3a76a6911610ac014c027f3e34454d65f3b3e
parent f2a66e936b76ac8da97ea9bbeb11c8f3cf06275f
author Jakub Josef <jakub.josef@gmail.com> 1488990461 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1488990461 +0100

Fix typo in gating pipeline

Change-Id: Ie540fabf7b34f76a37f94faba401aa36910ddf9e