An error occurred while fetching the assigned milestone of the selected merge_request.
Use Happy >= 2.1
Needed by ghc!13145 to support the new catch
feature.
Needed by ghc!13145 to support the new catch
feature.
mentioned in issue ghc#25438 (closed)
approved this merge request