#458 (Aug 20, 2020, 5:35:44 PM)

	Changes Update visint.rst (details / githubweb)
	Started by upstream project CE_gpkit_Push_dependency_tests build number 458 originally caused by: Started by GitHub push by bqpd
	Revision: afa25c962dce8b43b3869c47e0159cb09133bd6a Repository: https://github.com/convexengineering/gpkit refs/remotes/origin/master
	0 errors, 0 warnings
	Test Result (no failures)