diff options
| author | mharmer <mark.harmer@pc-doctor.com> | 2018-12-11 14:02:37 -0800 |
|---|---|---|
| committer | Jaikiran Pai <jaikiran@apache.org> | 2018-12-12 11:38:34 +0530 |
| commit | 41eb0d922b88428111b554c044fdc5942afa22bb (patch) | |
| tree | 14aa60c066ccfd94730bf0b2adb5671f327151d4 /CONTRIBUTORS | |
| parent | b510f3588d2097beb322e946a944a82c570d2782 (diff) | |
| download | ant-41eb0d922b88428111b554c044fdc5942afa22bb.tar.gz | |
Fixing a potential ConcurrentModificationException that could occur when running Ant with the Parallel-Ant executor.
This closes #81 pull request at github/apache/ant
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 9b0c263a2..c6338ef7c 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -251,6 +251,7 @@ Mario Frasca Mariusz Nowostawski Mark A. Ziesemer Mark DeLaFranier +Mark Harmer Mark Hecker Mark Niggemann Mark R. Diggory |