Closed eduardosm closed 4 months ago
@rustbot ready
Thanks. :) @bors r+
:pushpin: Commit a4deacbcf4a5d875cafd017efd1c8fb8bf61bdd3 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit a4deacbcf4a5d875cafd017efd1c8fb8bf61bdd3 with merge 6ccf075bc3e04863ed6057c7570130ea022f58a2...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 6ccf075bc3e04863ed6057c7570130ea022f58a2 to master...
@rustbot author