Skip to content

Lets the user specify us dropping hints in response, resolves #1789.#3456

Merged
daniel-j-h merged 1 commit intomasterfrom nohint-featureDec 19, 2016

Commits

Commits on Dec 19, 2016