#2410 (Jul 31, 2021, 10:03:59 AM)

PR #1553: deduplicate gp hmaps

	Changes deduplicate gp hmaps (commit: c3910c6) (details / githubweb) change .pylintrc (commit: d09b300) (details / githubweb)
	GitHub pull request #1553 of commit d09b300b8fb222ed3f0089227abfd9319233e47c, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 02c396b
	Pylint: 8 warnings

Configurations