Fix loading of stopped goal checker.#342
Merged
mkhansenbot merged 1 commit intomasterfrom Nov 20, 2018
unknown repository
Merged
Fix loading of stopped goal checker.#342mkhansenbot merged 1 commit intomasterfrom unknown repository
mkhansenbot merged 1 commit intomasterfrom
unknown repository
Commits
Commits on Nov 17, 2018
- committed
Carl Delsey