Closed thomashoneyman closed 1 year ago
See https://github.com/purescript/registry-dev/pull/624#discussion_r1266571646
See https://github.com/purescript/registry-dev/pull/624#discussion_r1266571646