[04:14:48] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[21:34:40] &lt;<font color="#600060">Dominus</font>&gt; seems Coverity didn't like this :)<BR>
[21:34:49] &lt;<font color="#600060">Dominus</font>&gt; this-&gt;gwin :)<BR>