Commit 574579d3766b7b42e62495cb9a98f3ffd91079e8

Behdad Esfahbod 2018-10-28T23:04:37

[color] Rename get_strike() to choose_strike()