Closed RalfJung closed 5 months ago
:pushpin: Commit 9862df6c540bee4cfcd5ed212a9cb13bb2aff5e4 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 9862df6c540bee4cfcd5ed212a9cb13bb2aff5e4 with merge 9f6da15354698f509021c0f0a13c43b88334f325...
@bors r+
:pushpin: Commit e428789998feac0b402ede2fb76549ef85e0beac has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit e428789998feac0b402ede2fb76549ef85e0beac with merge 8be18dc7276c72a245663fbe5d71fa8905250775...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 8be18dc7276c72a245663fbe5d71fa8905250775 to master...
@bors r+