-
Committer:
Wideland's Bunnybot
-
Date:
2018-07-30 10:40:50 UTC
-
mfrom:
(8767.2.4 fri-01-portspace)
-
Revision ID:
bunnybot@widelands.org-20180730104050-dv097tpok94udp4y
Merged lp:~widelands-dev/widelands/fri-01-portspace:
Adds another port space to scenario fri01 to fix difficulties with finding and reaching the port space