tree 3b68bc6a0f96cd70117032206157628cdf1092cb
parent c4064bb91afd480dce5eb2491eedbe17acbd92a2
author Jakub Josef <jakub.josef@gmail.com> 1491321063 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1491321063 +0200

Improved gating pipeline

Change-Id: I2226211332b46c1913ea0f2676442374129e9894