Skip to content

Auto merge of #13431 - GnomedDev:split-def_path_res, r=y21 #1216

Auto merge of #13431 - GnomedDev:split-def_path_res, r=y21

Auto merge of #13431 - GnomedDev:split-def_path_res, r=y21 #1216

Triggered via push September 23, 2024 22:29
Status Success
Total duration 4m 6s
Artifacts

clippy.yml

on: push
Fit to window
Zoom out
Zoom in