#3177 (Aug 2, 2021, 10:49:45 AM)

PR #1438: Allowing substituted, unitl...

	Failed to determine (log)
	GitHub pull request #1438 of commit eb44a7e614a9361bbb707de1d973ceaa844d3414, has merge conflicts.
	Revision: eb44a7e614a9361bbb707de1d973ceaa844d3414 Repository: https://github.com/convexengineering/gpkit detached