Merge pull request #234238 from ratsclub/ionide

vscode-extensions.ionide.ionide-fsharp: 7.5.2 -> 7.5.4
This commit is contained in:
Weijia Wang 2023-05-26 21:11:57 +03:00 committed by GitHub
commit 2b2921adff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1581,8 +1581,8 @@ let
mktplcRef = {
name = "Ionide-fsharp";
publisher = "Ionide";
version = "7.5.2";
sha256 = "sha256-v2fd2vGaGwRnebKiyjyd/2pgWit0H5lhJT+PXWQq0h4=";
version = "7.5.4";
sha256 = "sha256-cM3ssUzQnqt5WL8UaLYkrmfHscVa2sGa7/UWLXMIHGg=";
};
meta = {
changelog = "https://marketplace.visualstudio.com/items/Ionide.Ionide-fsharp/changelog";