-
Committer:
Wideland's Bunnybot
-
Date:
2019-08-20 17:35:33 UTC
-
mfrom:
(9176.2.1 widelands)
-
Revision ID:
bunnybot@widelands.org-20190820173533-gllog0rgdq8yp75l
Merged lp:~widelands-dev/widelands/productionsite-inactivity-bug:
Fix a bug where a building remains inactive after kicking a worker