vscode-extensions.ionide.ionide-fsharp: 7.25.8 -> 7.25.10 (#408868)

This commit is contained in:
Pol Dellaiera
2025-05-20 08:00:12 +00:00
committed by GitHub
@@ -2514,8 +2514,8 @@ let
mktplcRef = {
name = "Ionide-fsharp";
publisher = "Ionide";
version = "7.25.8";
hash = "sha256-/pnLLFj6Iwn14GLGbuc2Ex7IbNmXFiH1Btd12cCGGes=";
version = "7.25.10";
hash = "sha256-2d12itLc9qBZZ7nQNS/80K46dde2RUKpkWgPwFxogIs=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";