Checking pipeline status.
Pipeline #12908 passed
Pipeline passed for d8b85d54 on master Sep 29, 2017
merged
mentioned in commit d8b85d54