#3135 (Feb 26, 2021, 4:14:20 PM)

PR 1537: avoid DeprecationWarning

	Changes avoid DeprecationWarning (details / githubweb) lint (details / githubweb)
	Started by upstream project CE_gpkit_PR_unit_tests build number 3135 originally caused by: GitHub pull request #1537 of commit a0573d05046e5e569b2c35ff10f951c6a54a1c79, no merge conflicts.
	Revision: 6898c4e19b4e1be6d5fb9bac78d010b5f043ba42 Repository: https://github.com/convexengineering/gpkit origin/pr/1537/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 6898c4e
	0 errors, 0 warnings
	Cobertura Coverage Report Packages: 100% Files: 95% Classes: 95% Lines: 91% Conditionals: 100%
	Test Result (no failures)