#3132 (Feb 11, 2021, 5:11:48 PM)

PR #1537: avoid DeprecationWarning

	Changes avoid DeprecationWarning (commit: 78d1e1a) (details / githubweb)
	GitHub pull request #1537 of commit 78d1e1aeabfc0b22afe7d50ffea5b051baaabb41, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Initial recording of 200 commits Latest commit: 52f12d3
	Test Result (no failures)