Skip to content

Return empty completions rather than error#1012

Merged
rtetley merged 1 commit intocoq:mainfrom Durbatuluk1701:empty_completion_managementJan 28, 2025

Commits

Commits on Jan 28, 2025