[automated] Merge branch 'prerelease' => 'main'#7406

Merged

jordi1215 merged 2 commits intomainfrom merge/prerelease-to-main

Aug 2, 2024

+4-1

Commits on Jul 30, 2024

Fix completion handler bug that causes language server to crash (#7401 )

jordi1215
authored and
dibarbet
committed
Merge pull request #7405 from dibarbet/cherry_pick_completion
dibarbet
authored