Skip to content

Fix duplicate external file type issue when change language and other corresponding issue of external file type preferences #9376

Fix duplicate external file type issue when change language and other corresponding issue of external file type preferences

Fix duplicate external file type issue when change language and other corresponding issue of external file type preferences #9376

Triggered via pull request December 16, 2023 16:50
@SiedlerchrSiedlerchr
synchronize #10496
Status Skipped
Total duration 2s
Artifacts

automerge.yml

on: pull_request_target
automerge
0s
automerge
Fit to window
Zoom out
Zoom in