Closed devnexen closed 1 month ago
Thanks! I've fixed a typo in the PR title as well, should be good to go now. :) @bors r+
:pushpin: Commit 293536ba64a7fe5c5c731969ec4cfb30fb4c45dc has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 293536ba64a7fe5c5c731969ec4cfb30fb4c45dc with merge dba71671e0c65fcb497c854bbc894dbde851e836...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing dba71671e0c65fcb497c854bbc894dbde851e836 to master...
@rustbot ready