doc: fix typo in docstring of the cases tactic
#11575
Merged
This job was skipped
Loading
cases tactic
#11575