Skip to content

Auto merge of #12029 - torfsen:6459-more-cases-for-redundant-matches!… #9272

Auto merge of #12029 - torfsen:6459-more-cases-for-redundant-matches!…

Auto merge of #12029 - torfsen:6459-more-cases-for-redundant-matches!… #9272

Triggered via push December 27, 2023 19:55
Status Success
Total duration 1m 16s
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