[02:50:01] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[12:26:58] &lt;<font color="#616161">travis-ci</font>&gt; exult/exult#442 (master - 26f3310 : DominusExult): The build has errored.<BR>
[12:26:58] &lt;<font color="#616161">travis-ci</font>&gt; Change view : https://github.com/exult/exult/compare/4edc83c92b0a...26f331049d1b<BR>
[12:26:58] &lt;<font color="#616161">travis-ci</font>&gt; Build details : https://travis-ci.org/exult/exult/builds/752980224<BR>