Skip to content

chore: remove MapManager + dependent features#3246

Merged
NotMyFault merged 1 commit intomainfrom
chore/remove-mapmanager
Jul 25, 2025
Merged

chore: remove MapManager + dependent features#3246
NotMyFault merged 1 commit intomainfrom
chore/remove-mapmanager

Conversation

@dordsor21
Copy link
Copy Markdown
Member

No description provided.

@dordsor21 dordsor21 requested a review from a team as a code owner July 25, 2025 13:19
@github-actions github-actions Bot added chore Feature This PR adds a new feature labels Jul 25, 2025
@dordsor21 dordsor21 linked an issue Jul 25, 2025 that may be closed by this pull request
@NotMyFault NotMyFault removed the chore label Jul 25, 2025
@NotMyFault NotMyFault merged commit ffc59ef into main Jul 25, 2025
9 checks passed
@NotMyFault NotMyFault deleted the chore/remove-mapmanager branch July 25, 2025 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Feature This PR adds a new feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Remove MapManager API dependence

2 participants