Mark Friedrich 98bc071dd3 - fixed a bug where "map change" (click on tab) does not switch map

2018-07-20 16:56:15 +02:00

..

v1.4.0

- fixed a bug where "map change" (click on tab) does not switch map

2018-07-20 16:56:15 +02:00