Skip to content

Remove unused/redundant includes to speed up compilation#381

Merged
tsaubergine merged 2 commits into3.0from
copilot/update-user-profile-page
Apr 13, 2026
Merged

Remove unused/redundant includes to speed up compilation#381
tsaubergine merged 2 commits into3.0from
copilot/update-user-profile-page

Conversation

@tsaubergine
Copy link
Copy Markdown
Member

@tsaubergine tsaubergine marked this pull request as ready for review April 13, 2026 07:29
@tsaubergine tsaubergine merged commit e0062c0 into 3.0 Apr 13, 2026
6 checks passed
@tsaubergine tsaubergine deleted the copilot/update-user-profile-page branch April 13, 2026 07:29
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