#3178 (Aug 2, 2021, 11:02:18 AM)

PR #1553: deduplicate gp hmaps

	Changes deduplicate gp hmaps (commit: c3910c6) (details / githubweb) change .pylintrc (commit: d09b300) (details / githubweb) lint (commit: d6abb98) (details / githubweb) lint, infeasibility message edits (commit: 54fbe06) (details / githubweb)
	GitHub pull request #1553 of commit 54fbe0654b039792dae4cee272c024f7867338a9, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: aa011c3
	Test Result (no failures)