Skip to content

Conversation

@D8H
Copy link
Collaborator

@D8H D8H commented Nov 10, 2025

Built over another PR

@D8H D8H changed the title Remove extension warning Display the dependent extensions when removing an extension Nov 10, 2025
@D8H D8H force-pushed the remove-extension-warning branch 2 times, most recently from e93d9db to 8c47a60 Compare November 11, 2025 20:29
@D8H D8H force-pushed the remove-extension-warning branch from 8c47a60 to 843dd2c Compare November 19, 2025 13:27
@D8H D8H marked this pull request as ready for review November 19, 2025 15:26
@D8H D8H requested a review from 4ian as a code owner November 19, 2025 15:26
@4ian 4ian merged commit 360b110 into master Nov 20, 2025
5 of 6 checks passed
@4ian 4ian deleted the remove-extension-warning branch November 20, 2025 15:31
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.

3 participants