It looks like it's used on about 6% of PRs: since the start of this year, 204 PRs[0] match a search for "@rust-timer queue", among 3393 total PRs[1]. [0]: http

It looks like it's used on about 6% of PRs: since the start of this year, 204 PRs[0] match a search for "@rust-timer queue", among 3393 total PRs[1]. [0]: https://github.com/rust-lang/rust/pulls?q=is%3Apr+is%3Amerged+created%3A%3E2020-01-01+%22%40rust-timer+queue%22+ https://github.com/rust-lang/rust/pulls?q=is%3Apr+is%3Amerge... [1]: https://github.com/rust-lang/rust/pulls?q=is%3Apr+is%3Amerged+created%3A%3E2020-01-01+ https://github.com/rust-lang/rust/pulls?q=is%3Apr+is%3Amerge...