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

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

diff --git a/roles/linroom/tasks/vscode.yml b/roles/linroom/tasks/vscode.yml
index 214204d..048c836 100644
--- a/roles/linroom/tasks/vscode.yml
+++ b/roles/linroom/tasks/vscode.yml
@@ -20,7 +20,7 @@
   - dramforever.vscode-ghc-simple
   - eamodio.gitlens
   - justusadam.language-haskell
-  - ms-dotnettools.csharp
+  - ms-dotnettools.csdevkit # IS-63714
   - ms-python.python
   - ms-vscode.cpptools
   - ocamllabs.ocaml-platform