diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 3ccdb210b..b8d98b32f 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -6,7 +6,7 @@ # Names should be added to this file like so: # Name -John C. Vernaelo +John C. Vernaleo Dave Collins Owain G. Ainsworth David Hill