#450 (Aug 7, 2020, 10:24:41 PM)

	Changes remove logged_gets, allow substitution of a linked function at an index (#1514) (commit: 08b8c16) (details / githubweb)
	Started by GitHub push by bqpd (2 times)
	Revision: 08b8c162678fe3d3db78dacc7c02d591cc09e80d Repository: https://github.com/convexengineering/gpkit refs/remotes/origin/master