Build #656 (9/01/2019, 6:29:08 PM)

<a title="Make sure that FileManager::checkFiles() properly handles files that have been deleted" href="https://github.com/opencor/opencor/pull/1940">PR #1940</a>: Make sure that FileManager:...

	No changes.
	GitHub pull request #1940 of commit 2cdb6cb21dbb9037ec978b8dc6f5dfe802b2e7d7, no merge conflicts.
	Started by user Alan Garny
	This run spent: 27 ms waiting; 13 min build duration; 13 min total from scheduled to completion.

Configurations

default