Map:
- In the information dialog for mines of other players, a new icon can be found in the top right.
Click on this icon to only display the mines of this particular player on the map and hide all other mines.
This filter can then be removed by clicking on the filter indicator on the map.
General:
- Bugfixes
