No matches were found for subject:"Bug#495890\: widelands\: multiple mine upgrades leave you without master miner"