widelands-dev team mailing list archive

[hessenfarmer <stephan-lutz@xxxxxx>]

do you agree we should suppress the rare success message if mine exhausted as well?

If yes I'll implement this to this branch.

Thanks for helping solving these very old and annoying things.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1489295-mine-is-exhausted/+merge/366727
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1489295-mine-is-exhausted.