#3183 (Aug 16, 2021, 8:17:39 PM)

PR #1556: deduplicate in cvxopt preso...

	Changes deduplicate in cvxopt presolve instead, add test (commit: 8eac752) (details / githubweb) lint (commit: f9f588a) (details / githubweb)
	GitHub pull request #1556 of commit f9f588a9f43d50d9aa346a793b0c993e49badcfe, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 0 Latest commit: 13be62b
	Test Result (no failures)