#3133 (Feb 11, 2021, 5:17:22 PM)

PR #1537: avoid DeprecationWarning

	Changes avoid DeprecationWarning (commit: 78d1e1a) (details / githubweb) lint (commit: 0f090ed) (details / githubweb)
	GitHub pull request #1537 of commit 0f090ed0c4fe0791401e655b253d105162e200ee, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 1d5ac3b
	Test Result (no failures)