From 6a524119243579135d948e296c1ac34900ab2527 Mon Sep 17 00:00:00 2001
From: Stefan Bodewig <bodewig@apache.org>
Date: Sun, 12 Aug 2018 17:20:12 +0200
Subject: [PATCH] there are two files for contributors

---
 contributors.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contributors.xml b/contributors.xml
index be53be9dc..a62b1d477 100644
--- a/contributors.xml
+++ b/contributors.xml
@@ -787,6 +787,10 @@
     <first>Jim</first>
     <last>Allers</last>
   </name>
+  <name>
+    <first>Jimmy</first>
+    <last>Casey</last>
+  </name>
   <name>
     <first>Joerg</first>
     <last>Wassmer</last>