This reverts merge request !30 (merged)
Pipeline #37122 passed
Pipeline passed for 552dbc70 on revert-3e502e35 6 years ago
Merge details
Pipeline #37123 passed
Pipeline passed for dbe877e6 on master 6 years ago
merged
mentioned in commit dbe877e6