[22:37:03] &lt;<font color="#616161">GitHub&gt; [exult] DominusExult pushed 1 new commit to master: https://git.io/vDw8u</font><BR>
[22:37:03] &lt;<font color="#616161">GitHub&gt; exult/master bc22ea5 DominusExult: Fixed bug #2004. The Exult Studio start menu item comments for exult_studio.html and exult_studio.txt were swapped.</font><BR>