Can we get a new release, unless you're waiting for particular PRs to be merged? It's been several months since the last release and since important fix(es) have been merged. #120 in particular fixes both #119 and #97 (https://github.com/jupyterlab-contrib/jupyterlab-vim/issues/123).
Can we get a new release, unless you're waiting for particular PRs to be merged? It's been several months since the last release and since important fix(es) have been merged. #120 in particular fixes both #119 and #97 (https://github.com/jupyterlab-contrib/jupyterlab-vim/issues/123).