Skip to content
GitLab
Explore
Sign in
minerva
core
Issues
#87
changing the name of a map in `Map Manager` only takes effect after restarting tomcat