Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix instant dig bug #5728 #5743
Lolwut. So if we don't report bugs they don't exist either and nobody will care about it??
If there's a bug in the game, it should be fixed asap, especially if it affects gameplay like this one does. Merging this isn't gonna alert anybody any more than the discussion of it already has, so there's that.