From 4e61ec7f10056103243dd1264dbf1dd507bf2efb Mon Sep 17 00:00:00 2001
From: Rein Heringa <rein@reinto.nl>
Date: Wed, 22 Aug 2018 16:54:48 +0200
Subject: [PATCH] Added Reinto to the credits

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

diff --git a/Credits.txt b/Credits.txt
index 92f3855..4e2b749 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>
+Reinto <rein@reinto.nl> @ReynWatseszn
\ No newline at end of file