@sgiehl opened this Pull Request on May 9th 2018 Member

fixes #12852, fixes #12806

@sgiehl commented on May 18th 2018 Member

@diosmosis correct. But #12852 says the location menu should be moved right above realtime map. But obviously there can only be one item be above it.
@mattab should userid be above location then or is ok to have userid last?

Powered by GitHub Issue Mirror