Closed apiraino closed 2 years ago
Unsure if we should remove them also from the other repositories.
Opinions?
Maybe remove from traits group too?
err all groups?
@apiraino I've already done that in https://github.com/rust-lang/highfive/pull/398 ? we must have opened both close to each other, but the other is already merged.
heh
closing in favor of #398
As per T-compiler meeting, removing Matthew Jasper from the PR reviewers pool. We want to avoid them pings and having a pull request review stalling.
Mentioned during T-compiler meeting
cc: @pnkfelix