fix: service.ranking must be an Integer to take effect#1409
Merged
sebthom merged 1 commit intoeclipse-lsp4e:mainfrom Nov 20, 2025
Merged
fix: service.ranking must be an Integer to take effect#1409sebthom merged 1 commit intoeclipse-lsp4e:mainfrom
service.ranking must be an Integer to take effect#1409sebthom merged 1 commit intoeclipse-lsp4e:mainfrom
