widelands-dev team mailing list archive
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.