vscode-extensions.ionide.ionide-fsharp: 7.26.3 -> 7.26.5 (#428491)

This commit is contained in:
Pol Dellaiera
2025-07-26 10:22:40 +02:00
committed by GitHub
@@ -2430,8 +2430,8 @@ let
mktplcRef = {
name = "Ionide-fsharp";
publisher = "Ionide";
version = "7.26.3";
hash = "sha256-xbMPx7FO7MplFO0SDpWhmctEZdHft2UPdlss3J0Bj10=";
version = "7.26.5";
hash = "sha256-h652UK81MxEhwyJKlWLnueQmhpl2pHByvhPrfH+4WXk=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";