Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix CaptureManagerBotModule #16125
pchote left a comment
Fixes the issue at hand, but the testcase reveals some of the other failings of the capture logic - like taking forever for its dice roll to land on "neutral structures" and try to capture the derricks. Fixing that is not the job of this PR, though.