[01:36:04] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[17:43:05] &lt;<font color="#616161">GitHub&gt; [exult] ptgeorge pushed 1 new commit to master: https://git.io/vrv2N</font><BR>
[17:43:05] &lt;<font color="#616161">GitHub&gt; exult/master 2ac956d Phillip T. George: Fixed #1887 Hang when leaving SI dream world</font><BR>