From d3413a7db2368acc4ae1478aa6c14336299b882a Mon Sep 17 00:00:00 2001
From: John Bodker <jbodker@intranet.infeurope.lu>
Date: Wed, 20 Jun 2018 09:26:40 +0200
Subject: [PATCH] Added my name to credits

---
 Credits.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Credits.txt b/Credits.txt
index 92f3855..c11ca1a 100644
--- a/Credits.txt
+++ b/Credits.txt
@@ -1,4 +1,4 @@
-Mark Gray <mark@fsharp.tv> @MarkRGray
+Mark Gray <mark@fsharp.tv> @MarkRGray
 Brice Fernandes <brice@fsharp.tv> @fractallambda
 Jeff Heon <jfheon@gmail.com> @jeffheon
 Pierre Irrmann <pierre.irrmann@gmail.com> @pirrmann
@@ -47,3 +47,4 @@ Adnan Chughtai @adnan
 olga rose @olgarose
 Bill Karvelas <vaskarvelas@gmail.com>
 Xingyu Lu <lxy122@umd.edu>
+John Bødker <bodker.68@gmail.com> @bdkr68