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