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