These were changed for ghc#21486 (closed)
Fixes #55 (closed)
Merge request pipeline #53136 passed
Merge request pipeline passed for 0ec2d8f9 2 years ago
Pipeline #53355 failed
Pipeline failed for 0ec2d8f9 on master 2 years ago
requested review from @mpickering
approved this merge request
merged