[08:46:37] &lt;<font color="#616161">travis-ci</font>&gt; exult/exult#225 (master - de1c5ef : DominusExult): The build passed.<BR>
[08:46:37] &lt;<font color="#616161">travis-ci</font>&gt; Change view : https://github.com/exult/exult/compare/d2e05be6809b...de1c5ef6deb2<BR>
[08:46:37] &lt;<font color="#616161">travis-ci</font>&gt; Build details : https://travis-ci.org/exult/exult/builds/580608189<BR>
[18:31:00] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>