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

PR 1537: avoid DeprecationWarning

	Changes avoid DeprecationWarning (details / githubweb)
	Started by upstream project CE_gpkit_PR_dependencies build number 2322 originally caused by: GitHub pull request #1537 of commit 78d1e1aeabfc0b22afe7d50ffea5b051baaabb41, no merge conflicts.
	Revision: 52f12d3934a4da2466794ba156f4f854a0c4c66a Repository: https://github.com/convexengineering/gpkit origin/pr/1537/merge origin/master
	SCM: git https://github.com/convexengineering/gpkit Initial recording of 200 commits Latest commit: 52f12d3
	0 errors, 0 warnings