tree 7a205c343bad915f24b3c5f3f09a5c3b6d6207ac
parent 865743a273d4162068cabf83f011125bdb7c20ce
author Jens Johansen <jensj@google.com> 1548073104 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1548073104 +0000

Avoid ConcurrentModificationException with problemsAsJson and patch files

Change-Id: I8663b99376b90c42bfdcad7eff7da47002b98eb0
Reviewed-on: https://dart-review.googlesource.com/c/90386
Reviewed-by: Peter von der Ahé <ahe@google.com>
Commit-Queue: Jens Johansen <jensj@google.com>