Started by upstream project CE_gpkit_PR_dependencies build number 2400originally caused by: GitHub pull request #1568 of commit 2ce24c3f6ff88bc53b4817058d66318b154c388f, no merge conflicts.