Pipeline #38741 passed
Pipeline passed for 9ab2ea6d on holzer:BugFixSimplification 3 years ago
Merge details
Pipeline #38749 passed
Pipeline passed for 4570ee2c on master 3 years ago
requested review from @hoenig
assigned to @holzer
merged
mentioned in commit 4570ee2c