Is this repository unmaintained? #134
Description
Hello @JuliaEditorSupport
There have been various pull requests created with fixes and improvements over the last 1.5 years by me and by other people, but I noticed that none of them were merged or even received a single comment yet:
I wonder whether this repository is still maintained and will get any updates in the future?