json
: refine whitespace rules to avoid runaways
#7866
+44
−45
Merged