#3184 (Aug 16, 2021, 8:56:29 PM)

PR 1556: deduplicate in cvxopt presolve instead, add test

	Changes deduplicate in cvxopt presolve instead, add test (details / githubweb) lint (details / githubweb)
	Started by upstream project CE_gpkit_PR_unit_tests build number 3184 originally caused by: GitHub pull request #1556 of commit f9f588a9f43d50d9aa346a793b0c993e49badcfe, no merge conflicts.
	Revision: 13be62bcc66ef6f248f04240267894051f74f339 Repository: https://github.com/convexengineering/gpkit origin/pr/1556/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 0 Latest commit: 13be62b
	0 errors, 0 warnings
	Cobertura Coverage Report Packages: 100% Files: 98% Classes: 98% Lines: 92% Conditionals: 100%
	Test Result (no failures)