tree 6a7412ce5c6b8e30a68ecfed526411c50192116b
parent 97954244f1bb6a665454f3cd52d113a469541e80
author Jakub Josef <jakub.josef@gmail.com> 1489576679 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489582741 +0100

Fix indent in gating jobs

Change-Id: Icf71df9641c3d2b7402e4597636ffd1fdc8f5803