New commits: commit 60bbbf1988243452b49f3778cd887c44963874b8 Author: Andrew Cagney <cagney at gnu.org> Date: Fri Nov 4 12:55:51 2016 -0400 web: rename results.sh to json-results.sh; add --json option Bring inline with other json shell scripts