Skip to content

Support completion candidates that are shorter than the input#750

Merged
gwenn merged 1 commit intokkawakam:masterfrom gwenn:complete_symbolDec 5, 2023

Commits

Commits on Dec 2, 2023