From bea8094d7ca7e92a228b6d149f48845d1e2958ea Mon Sep 17 00:00:00 2001
From: Miha Grohar <miha.grohar@fri.uni-lj.si>
Date: Mon, 4 Sep 2023 08:20:55 +0000
Subject: [PATCH] Update vscode extension ms-dotnettools.csharp to
 ms-dotnettools.csdevkit.

---
 roles/winroom/tasks/vscode.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/roles/winroom/tasks/vscode.yml b/roles/winroom/tasks/vscode.yml
index 1d97ecb..63d0015 100644
--- a/roles/winroom/tasks/vscode.yml
+++ b/roles/winroom/tasks/vscode.yml
@@ -19,7 +19,7 @@
   - dramforever.vscode-ghc-simple
   - eamodio.gitlens
   - justusadam.language-haskell
-  - ms-dotnettools.csharp
+  - ms-dotnettools.csdevkit # IS-63714
   - ms-python.python
   - ms-vscode.cpptools
   - stonebuddha.vscode-better-sml