| Time (UTC) | PR | Message |
|---|---|---|
| 2020-10-25 17:15:39 | 6194 | @bors retry |
| 2020-10-25 15:05:00 | 6194 | @bors retry (spurious) |
| 2020-10-23 16:45:31 | 6206 | @bors retry |
| 2020-10-23 12:56:04 | 6206 | @bors retry (please?) |
| 2020-10-23 12:54:21 | 6206 | @bors retry |