mirror of
https://github.com/neovim/neovim.git
synced 2025-12-09 16:12:48 +00:00
This commit makes it so that push diagnostics received for an outdated document version are ignored.
This commit makes it so that push diagnostics received for an outdated document version are ignored.