Skip to content

Auto merge of #11895 - ericwu2003:useless_vec-FP, r=blyxyas #9180

Auto merge of #11895 - ericwu2003:useless_vec-FP, r=blyxyas

Auto merge of #11895 - ericwu2003:useless_vec-FP, r=blyxyas #9180

Triggered via push December 12, 2023 22:57
Status Success
Total duration 1m 29s
Artifacts

remark.yml

on: push
bors remark test finished
0s
bors remark test finished
bors remark test finished
0s
bors remark test finished
Fit to window
Zoom out
Zoom in