Code review comment for lp:~widelands-dev/widelands/bug-1489295-mine-is-exhausted

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.