Build #543 (25/10/2018, 4:09:48 PM)

<a title="General: overlayed icons don't have the same resolution as standard icons on HiDPI screens (#1850)" href="https://github.com/opencor/opencor/pull/1854">PR #1854</a>: General: overlayed icons do...

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

Configurations

default