Skip to content

Auto merge of #10813 - y21:issue10755, r=xFrednet #12643

Auto merge of #10813 - y21:issue10755, r=xFrednet

Auto merge of #10813 - y21:issue10755, r=xFrednet #12643

Triggered via push May 26, 2023 15:20
Status Success
Total duration 1m 30s
Artifacts

clippy_dev.yml

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