Closed y21 closed 2 weeks ago
r? @dswij
rustbot has assigned @dswij. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r?
to explicitly pick a reviewer
I think bors ignores commands in approve comments, let's try again with a normal comment @bors r=dswij
:pushpin: Commit ef1b0210bd6210c3a5f68420ca69307c941ee2c1 has been approved by dswij
It is now in the queue for this repository.
:hourglass: Testing commit ef1b0210bd6210c3a5f68420ca69307c941ee2c1 with merge a18f50fe6a2ac6632f620350a9a17c1e65e00485...
:sunny: Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test Approved by: dswij Pushing a18f50fe6a2ac6632f620350a9a17c1e65e00485 to master...
changelog: none