[17:46:02] <FONT COLOR="#008080">---</FONT> <font color="#616161">DominusExult is now known as Dominus</font><BR>
[19:29:52] &lt;<font color="#600060">Dominus</font>&gt; one of these days... github actions workflow to automate building snapshots...<BR>