Closed zicklag closed 3 years ago
bors merge
:clock1: Waiting for PR status (Github check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.
Build succeeded:
bors merge