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

PR 1557: JSON save format for diff, including diff_retrieval helper function

	Changes First crack at generalized diff with json saving (details / githubweb) Am Engineer - Can't Spell (details / githubweb) fixed spelling error on diff (details / githubweb)
	Started by upstream project CE_gpkit_PR_unit_tests build number 3188 originally caused by: GitHub pull request #1557 of commit f574080e003a390649c9fb5649e56b8105118f70, no merge conflicts.
	Revision: d99b7ad013c2b4ee1a332af1d285087b9579406c Repository: https://github.com/convexengineering/gpkit origin/pr/1557/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: d99b7ad
	0 errors, 0 warnings
	Cobertura Coverage Report Packages: 100% Files: 98% Classes: 98% Lines: 91% Conditionals: 100%
	Test Result (no failures)