mirror of
https://github.com/neovim/neovim.git
synced 2026-03-10 01:54:05 +10:00
Follw up to 63b3408551
`is_pull` should be optional, otherwise it is an API change that
introduces warnings in consumers.
Also fixes the type annotation of `_client_pull_namespaces` where the
key is a string.
14 KiB
14 KiB