https://bugzilla.redhat.com/show_bug.cgi?id=2020535
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |WONTFIX Status|NEW |CLOSED Last Closed| |2023-02-02 01:44:34
--- Comment #3 from Jens Petersen petersen@redhat.com --- Seem no longer needed as of purescript-0.15