Skip to content

Conversation

akinomyoga
Copy link
Collaborator

Before submitting _comp_compgen -P I mentioned in #1358 (comment), I'd like to apply these small changes.

@akinomyoga
Copy link
Collaborator Author

There are no reviews, but I'll merge this in a few days because these are trivial fixes and this is blocking #1360 for a long time.

@akinomyoga
Copy link
Collaborator Author

Thanks!

@akinomyoga akinomyoga merged commit 6bd5e26 into scop:main Jun 17, 2025
7 checks passed
@akinomyoga akinomyoga deleted the _comp_compgen-P-0 branch June 17, 2025 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants