[00:43:17] &lt;<font color="#616161">travis-ci</font>&gt; exult/exult#60 (master - 9bcfd41 : jeff): The build passed.<BR>
[00:43:17] &lt;<font color="#616161">travis-ci</font>&gt; Change view : https://github.com/exult/exult/compare/94b44e84e99d...9bcfd410bc4f<BR>
[00:43:17] &lt;<font color="#616161">travis-ci</font>&gt; Build details : https://travis-ci.org/exult/exult/builds/208748966<BR>
[03:27:32] <FONT COLOR="#008080">---</FONT> <font color="#616161">tsoliman_ is now known as tsoliman</font><BR>
[03:42:58] <FONT COLOR="#008080">---</FONT> <font color="#616161">tsoliman is now known as tsoliman_</font><BR>
[03:44:46] <FONT COLOR="#008080">---</FONT> <font color="#616161">tsoliman_ is now known as tsoliman</font><BR>
[03:48:45] <FONT COLOR="#008080">---</FONT> <font color="#616161">tsoliman is now known as tsoliman_</font><BR>
[22:34:24] &lt;<font color="#616161">GitHub&gt; [exult] drcode1 pushed 1 new commit to master: https://git.io/vygnD</font><BR>
[22:34:24] &lt;<font color="#616161">GitHub&gt; exult/master 4416115 jeff: More fiddling with Waiter_schedule</font><BR>