Skip to content

Conversation

@vmaerten
Copy link
Member

@vmaerten vmaerten commented Dec 19, 2025

@andreynering andreynering linked an issue Dec 19, 2025 that may be closed by this pull request
@andreynering andreynering merged commit 3626b27 into main Dec 19, 2025
13 checks passed
@andreynering andreynering deleted the fix-zsh-completion branch December 19, 2025 18:49
andreynering added a commit that referenced this pull request Dec 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants