Closed Urhengulas closed 3 years ago
:v: Urhengulas can now approve this pull request. To approve and merge a pull request, simply reply with bors r+
. More detailed instructions are available here.
bors r+
bors d+ you should be able to send this PR to bors (I think we have bors here). bors command reference
Thanks for the d+
:) I should be able to r+
it anyways.
bors d+ you should be able to send this PR to bors (I think we have bors here). bors command reference