From ee292f6f2669008eea6c0c785f1ca558eb901735 Mon Sep 17 00:00:00 2001
From: Michael <184316+muescha@users.noreply.github.com>
Date: Mon, 18 Nov 2019 18:11:37 +0100
Subject: [PATCH] Update index.markdown

---
 index.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.markdown b/index.markdown
index f445d84..4919279 100644
--- a/index.markdown
+++ b/index.markdown
@@ -53,7 +53,7 @@ users*:
   #19528](https://github.com/gatsbyjs/gatsby/pull/19528)
 * syncthing: [syncthing/syncthing
   #6158](https://github.com/syncthing/syncthing/pull/6158)
-* dotnet: [dotnet/sdk](https://github.com/dotnet/sdk/issues/3917)
+* dotnet: [dotnet/sdk #3917](https://github.com/dotnet/sdk/issues/3917)
 * others: [get
   involved](https://github.com/sneak/consoledonottrack.com/pulls)