Catch and ignore errors writing JSON files.#3288
Merged
gvanrossum merged 3 commits intomasterfrom May 2, 2017
Merged
Commits
Commits on Apr 30, 2017
- committed
Guido van Rossum - committed
Guido van Rossum
Commits on May 2, 2017
- committed
Guido van Rossum