[02:50:53] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[12:06:03] &lt;<font color="#616161">travis-ci</font>&gt; exult/exult#509 (master - 452df95 : Marzo Sette Torres Junior): The build passed.<BR>
[12:06:03] &lt;<font color="#616161">travis-ci</font>&gt; Change view : https://github.com/exult/exult/compare/2e01706b9516...452df95553fc<BR>
[12:06:03] &lt;<font color="#616161">travis-ci</font>&gt; Build details : https://travis-ci.com/exult/exult/builds/217008864<BR>