There is a new issue (see 7357) Am 03.08.20 um 15:25 schrieb Jakob Erdmann:
Issue https://github.com/eclipse/sumo/issues/7336 is now fixed.
_______________________________________________ sumo-user mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/sumo-user
