← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/bug-1489295-mine-is-exhausted into lp:widelands


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.
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1489295-mine-is-exhausted.