Merge remote branch 'origin/master' into edge

automatic-merge · automatic-merge · commit 149f00a7cd66 · 2023-11-28T00:56:17.000Z
diff --git a/integration/vscode/ada/ada-snippets.json b/integration/vscode/ada/ada-snippets.json
@@ -38,7 +38,10 @@
 		"scope": "ada",
 		"body": [
 			"case ${1:Variable} is",
-			"\t$0",
+			"\twhen ${3:Condition} =>",
+			"\t\t$0",
+			"\twhen others =>",
+			"\t\t$2",
 			"end case;"
 		],
 		"description": "Case Statement"
