#794 (Mar 29, 2022, 8:34:42 PM)

	Changes fixes for MISP, MIGP (#1569) (commit: 5480de3) (details / githubweb)
	Started by GitHub push by bqpd (2 times)
	Revision: 5480de33feb08aa679079f414bfd4da070b52caf Repository: https://github.com/convexengineering/gpkit origin/master
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 1 Latest commit: 5480de3
	Test Result (no failures)