Dear Joachim,

> * You can filter by status by clicking on the "Labels" button.
>
> When I fitered by "dormant" I only saw three -- that was a lot fewer than I expected.

Again, because by default GitHub only shows open PRs. Eventually, we or
the authors close proposals.

That being said, some dormant PRs are still open and unlabelled. I nearly randomly hit:

https://github.com/ghc-proposals/ghc-proposals/pull/183

this morning. I'm guessing, there may be more.

Kind regards,

Artem Pelenitsyn

Cheers,
Joachim
--
Joachim Breitner
mail@joachim-breitner.de
http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee