This reverts merge request !30 (merged)
Checking pipeline status.
Merge details
Pipeline #582524 canceled
Pipeline canceled for d9a0a308 on master 3 years ago
enabled an automatic merge when the pipeline for 6155209d succeeds
By Thanassis Tsiodras on 2021-05-31T12:15:59
canceled the automatic merge
By Thanassis Tsiodras on 2021-05-31T12:19:44
approved this merge request
By Thanassis Tsiodras on 2021-05-31T12:19:53
merged
mentioned in commit d9a0a308
By Thanassis Tsiodras on 2021-05-31T12:20:09
