#2323 (Feb 11, 2021, 5:17:09 PM)

PR 1537: avoid DeprecationWarning

	Changes avoid DeprecationWarning (details / githubweb) lint (details / githubweb)
	Started by upstream project CE_gpkit_PR_dependencies build number 2323 originally caused by: GitHub pull request #1537 of commit 0f090ed0c4fe0791401e655b253d105162e200ee, no merge conflicts.
	Revision: 1d5ac3b0c9f529f0fd2e98453fa588c779757af9 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: 1d5ac3b
	0 errors, 0 warnings