Closed zicklag closed 2 years ago
: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.
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.
bors retry
Pull request successfully merged into master.
Build succeeded:
bors merge