tree 87dd19b1b1143b91ffe266842cd2c4240b76b1c2
parent d2a62036b3707219e30102248c4772d6112b82df
author Jakub Josef <jakub.josef@gmail.com> 1496933987 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1496933987 +0200

Fixed Jenkins master configuration enforcing

Change-Id: I405ec58630c802bd941c862143eb42fe58bd9a42