From 78e526690c22f1c5a1c93705076229ff32284741 Mon Sep 17 00:00:00 2001 From: Kevin Chirls Date: Wed, 15 Mar 2017 10:09:04 -0700 Subject: Updates for pull request #1284. Fix for issues #869 and #1018. Added name to AUTHORS file. Added ECJ fix and test. Made one of the variables final to also verify the final error case. --- AUTHORS | 1 + 1 file changed, 1 insertion(+) (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS index 6a54b021..38ceadeb 100644 --- a/AUTHORS +++ b/AUTHORS @@ -7,6 +7,7 @@ Dave Brosius Dawid Rusin Enrique da Costa Cambio Jappe van der Hel +Kevin Chirls Liu DongMiao Luan Nico Maarten Mulders -- cgit