PR #1791 feat(tactic/default): import suggest

feat(tactic/default): import suggest #1791

mergify merged 1 commit into master from robertylewis-patch-1

feat(tactic/default): import suggest

e14fcfaf

jcommelin approved these changes on 2019-12-09

jcommelin added ready-to-merge

mergify merged 1809eb40 into master 6 years ago

mergify deleted the robertylewis-patch-1 branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone