Review on vscode marketplace

Stream: lean4

[Gabriel Ebner]

We got a review which seems to be a bug report in disguise, but with very little information: https://marketplace.visualstudio.com/items?itemName=leanprover.lean4&ssr=false#review-details

After updating to 0.0.64 version, then it failed and not working @ Vscode 1.64.1.

I've tried to post a reply, but I seem to have bad luck with the spam filter because it doesn't appear on the extension page.

In case you're reading this, tozkanli2071, please post the issue here in the chat or on https://github.com/leanprover/vscode-lean4/issues (with instructions so that we can reproduce the bug).

[Sebastian Ullrich]

Hey, at least it's still 4/5 stars

[Julian Berman]

@Tarık Özkanlı