Skip to content

Stop spelling suggestions after 10 name-not-found errors#16174

Merged
sandersn merged 1 commit into
masterfrom
max-10-errors-for-suggestions
May 31, 2017
Merged

Stop spelling suggestions after 10 name-not-found errors#16174
sandersn merged 1 commit into
masterfrom
max-10-errors-for-suggestions

Commits

Commits on May 31, 2017