Closed J-ZhengLi closed 2 weeks ago
r? @dswij
rustbot has assigned @dswij. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.
Use r?
to explicitly pick a reviewer
Thank you!
@bors r+
:pushpin: Commit adab7d08d75f8e92c1202aff3f0abd797da1062b has been approved by dswij
It is now in the queue for this repository.
:hourglass: Testing commit adab7d08d75f8e92c1202aff3f0abd797da1062b with merge 0fc9a65b8f161314dfc5016472d949b6b3986e22...
:sunny: Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test Approved by: dswij Pushing 0fc9a65b8f161314dfc5016472d949b6b3986e22 to master...
fixes: #11783
changelog: fix [
collection_is_never_read
] misfires when useretain
for iteration