[Question] Update package in marketplace?

[eugeneradionov]

Hi, I just realized that extension in marketplace was updated last time almost two years ago. Last updated | 10/24/2016, 10:57:44 PM What do you think about updating package?

[eugeneradionov]

@wmaurer Could you update extension in the marketplace, please?

[alefragnani]

I don't like this kind of comment, but.... +1 😬

There are two PRs merged on master...

#14 - Case insensitive jumping #16 - Decorations font and color customization

[joeyfigaro]

@wmaurer adding more noise here

[wenfangdu]

@eugeneradionov @joeyfigaro Seems this extension is no longer being maintained, I suggest existing users switch to Jump instead.