tree 02a875cae7bd5fefdeab77a84aafbf874f0a35f2
parent fd91d1fd98b7ef405c41111f9cfb2483c08dfbbe
author Jakub Josef <jakub.josef@gmail.com> 1489067454 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489067454 +0100

Fix typo in gating job

Change-Id: I330afc7d73b8942ef7d302978e09674623f22c8e