Pipeline #4875 canceled
Pipeline canceled for 92cb0848 on master 6 years ago
Pipeline #4877 passed
Pipeline passed for e6d83c43 on it4i-anselm 6 years ago
merged
mentioned in commit e6d83c43