[02:38:56] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[20:16:09] &lt;<font color="#616161">travis-ci</font>&gt; exult/exult#246 (merged-devel - 11b8233 : Marzo Sette Torres Junior): The build is still failing.<BR>
[20:16:09] &lt;<font color="#616161">travis-ci</font>&gt; Change view : https://github.com/exult/exult/compare/aca23ff2b990...11b823333fe4<BR>
[20:16:09] &lt;<font color="#616161">travis-ci</font>&gt; Build details : https://travis-ci.org/exult/exult/builds/633444986<BR>