[02:09:05] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[18:04:20] &lt;<font color="#616161">GitHub&gt; [exult] drcode1 pushed 1 new commit to master: https://git.io/vyx97</font><BR>
[18:04:20] &lt;<font color="#616161">GitHub&gt; exult/master 67f81f0 jeff: Allow the set_usecode_fun intrinsic to work on usecode eggs</font><BR>
[18:56:55] &lt;<font color="#616161">travis-ci</font>&gt; exult/exult#68 (master - 67f81f0 : jeff): The build passed.<BR>
[18:56:55] &lt;<font color="#616161">travis-ci</font>&gt; Change view : https://github.com/exult/exult/compare/e939dad37dfc...67f81f0d29ea<BR>
[18:56:55] &lt;<font color="#616161">travis-ci</font>&gt; Build details : https://travis-ci.org/exult/exult/builds/213516144<BR>