Don't pass deprecated options to Completion request#233

Merged

DonnieWest merged 3 commits intomasterfrom

fix/completion-prefs

Aug 8, 2021

Commits on Jul 5, 2021

Don't pass deprecated options to Completion request
rchl
committed

Commits on Jul 6, 2021

fix linting
rchl
committed

Commits on Jul 19, 2021

Merge branch 'master' into fix/completion-prefs
rchl
authored