Skip to content

Only search for label match if different from insertText match#523

Merged
krassowski merged 2 commits intomasterfrom completion/smarter-use-of-sum-of-squaresFeb 14, 2021

Commits

Commits on Feb 14, 2021