Skip to content

Conversation

@Owen1212055
Copy link
Member

Fixes #13238

…ing them before the plugin.

They could previously have separate trees, and so we will try to load their provider first in order to ensure proper loading.
@Owen1212055 Owen1212055 requested a review from a team as a code owner October 26, 2025 18:53
@github-project-automation github-project-automation bot moved this to Awaiting review in Paper PR Queue Oct 26, 2025
@lynxplay lynxplay merged commit f55a34f into main Nov 1, 2025
7 checks passed
@github-project-automation github-project-automation bot moved this from Awaiting review to Merged in Paper PR Queue Nov 1, 2025
@lynxplay lynxplay deleted the fix/provided-loading branch November 1, 2025 20:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Merged

Development

Successfully merging this pull request may close these issues.

Server dependencies ignore dependency definitions if plugin is only "provided" and not the exact name

6 participants