Merge branch '1.9.x'

apache · Aug 12, 2018 · 86bba86 · 86bba86
2 parents b9c135d + 6a52411
commit 86bba86
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/contributors.xml b/contributors.xml
@@ -791,6 +791,10 @@
     <first>Jim</first>
     <last>Allers</last>
   </name>
+  <name>
+    <first>Jimmy</first>
+    <last>Casey</last>
+  </name>
   <name>
     <first>Joerg</first>
     <last>Wassmer</last>