#3188 (Aug 24, 2021, 6:47:31 PM)

PR #1557: JSON save format for diff, ...

	Changes First crack at generalized diff with json saving (commit: 5ba7d94) (details / githubweb) Am Engineer - Can't Spell (commit: 7b5892e) (details / githubweb) fixed spelling error on diff (commit: f574080) (details / githubweb)
	GitHub pull request #1557 of commit f574080e003a390649c9fb5649e56b8105118f70, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: d99b7ad
	Test Result (no failures)