Skip to content

Conversation

@vmaerten
Copy link
Member

@vmaerten vmaerten commented Nov 5, 2025

Fixes #2468

@vmaerten vmaerten marked this pull request as ready for review November 9, 2025 20:13
@vmaerten vmaerten merged commit 4af5278 into main Dec 7, 2025
13 checks passed
@vmaerten vmaerten deleted the better-autocomplete branch December 7, 2025 11:20
vmaerten added a commit that referenced this pull request Dec 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants