Skip to content

Conversation

@jakobkoerber
Copy link
Member

No description provided.

@jakobkoerber jakobkoerber self-assigned this Jan 16, 2025
@jakobkoerber jakobkoerber added the enhancement Enhancement of existing feature label Jan 16, 2025
@jakobkoerber jakobkoerber changed the title Various User Interface Enhancements Add Legend to Campus Map, Enhance Campus Tab & Other Improvements Feb 24, 2025
@jakobkoerber jakobkoerber marked this pull request as ready for review February 24, 2025 15:36
@jakobkoerber jakobkoerber merged commit 2b77bc8 into main Feb 24, 2025
1 check passed
@jakobkoerber jakobkoerber deleted the enhancement/places-maps branch February 24, 2025 20:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement Enhancement of existing feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants