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

PR 1553: deduplicate gp hmaps

	Changes deduplicate gp hmaps (details / githubweb) change .pylintrc (details / githubweb)
	Started by upstream project CE_gpkit_PR_unit_tests build number 3174 originally caused by: GitHub pull request #1553 of commit d09b300b8fb222ed3f0089227abfd9319233e47c, no merge conflicts.
	Revision: 02c396b8f4be88700824d3c6808c3c3175ac2166 Repository: https://github.com/convexengineering/gpkit origin/pr/1553/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 02c396b
	0 errors, 0 warnings
	Cobertura Coverage Report Packages: 100% Files: 98% Classes: 98% Lines: 91% Conditionals: 100%
	Test Result (no failures)