Skip to content
Back to pull request #36831

fix: rename 'edit locally' to 'open locally' #13926

Sign in to view logs

fix: rename 'edit locally' to 'open locally'

fix: rename 'edit locally' to 'open locally' #13926

Block merging with outdated 3rdparty/

Block merging with outdated 3rdparty/
succeeded Feb 21, 2025 in 23s