Skip to content

Comments

Remove support for multiple Linux shell extensions#11746

Merged
erikjv merged 1 commit intomasterfrom
work/11743
Jul 17, 2024
Merged

Remove support for multiple Linux shell extensions#11746
erikjv merged 1 commit intomasterfrom
work/11743

Conversation

@TheOneRing
Copy link
Contributor

Fixes: #11743

@TheOneRing TheOneRing requested a review from erikjv July 17, 2024 13:46
@erikjv erikjv merged commit d47f789 into master Jul 17, 2024
@TheOneRing TheOneRing deleted the work/11743 branch July 17, 2024 15:22
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.

Remove support for multiple Linux shell extensions

2 participants