diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-04-05 10:11:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-05 10:11:17 +0200 |
commit | dc1ea3c239f4886df88c21e52c41d4cf8daa8972 (patch) | |
tree | d9c09ad4903ed0873a43d2a383e6cb39dcd269f2 /core | |
parent | 479143ab2a6917bb696568a1daccd9466defd167 (diff) | |
parent | 5db47c55216fef249da722cd78a94e8006f6c1f0 (diff) |
Merge pull request #59905 from Chaosus/fix_first_doc_open
Fix lookup symbol in scripts which doesn't open a tab at first attempt
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions