Build #798 (27/06/2019, 3:21:07 PM)

	No changes.
	Started by upstream project OpenCOR_Linux build number 798 originally caused by: GitHub pull request #2134 of commit daa49a0a2fef46219595f0bb66b7b7f10d38bc36, no merge conflicts.
	This run spent: 27 ms waiting; 8 min 8 sec build duration; 8 min 8 sec total from scheduled to completion.
	Revision: dffe5abc5db4497cd23742836ebeb22ace5b3f25 Repository: https://github.com/opencor/opencor.git refs/remotes/origin/pr/2134/merge