Skip to content

Undo global pie banner - #219

Merged
asgrim merged 4 commits into
php:mainfrom
asgrim:undo-global-pie-banner
Apr 17, 2025
Merged

Undo global pie banner#219
asgrim merged 4 commits into
php:mainfrom
asgrim:undo-global-pie-banner

Conversation

@asgrim

Copy link
Copy Markdown
Contributor

Fixes#217

@asgrimasgrim added the bug Something isn't working label Apr 16, 2025
@asgrimasgrim added this to the 0.10.0 milestone Apr 16, 2025
@asgrimasgrim self-assigned this Apr 16, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugSomething isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[0.9.0] bash completion broken by pie banner

1 participant

@asgrim