Closed romainl closed 2 years ago
This is the last thing to do before readying https://github.com/vim/vim/pull/9795 for merge.
Looks good for me
This is the last thing to do before readying https://github.com/vim/vim/pull/9795 for merge.