Skip to content

Fix crash in SQL query results when stale editor positions are used #4115

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mgrojo merged 3 commits into from
Oct 4, 2026
Merged

Fix crash in SQL query results when stale editor positions are used #4115

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
9df3bd8
Merge pull request #4114 from kor44/master
mgrojo Mar 31, 2026
0db3147
Fix crash in SQL query results when stale editor positions are used
rachavz Apr 1, 2026
624c254
Merge branch 'master' into fix/crash-stale-editor-positions
mgrojo Oct 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Merge pull request #4114 from kor44/master 
Replace non-alphanumeric with underscore
  • Loading branch information
@mgrojo
mgrojo authored Mar 31, 2026
commit 9df3bd802f96b84ab7db7e7ff20807308e0bd2ee

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.