[10:43:42] &lt;<font color="#616161">GitHub&gt; [exult] marzojr pushed 2 new commits to master: https://git.io/vMYkn</font><BR>
[10:43:42] &lt;<font color="#616161">GitHub&gt; exult/master 74e58f8 Marzo Sette Torres Junior: Fixing resource leak missed by fd3dbd0 (found by Coverity Scan).</font><BR>
[10:43:42] &lt;<font color="#616161">GitHub&gt; exult/master 37b842d Marzo Sette Torres Junior: Minor performance increase of DataSources by avoiding copying strings...</font><BR>
[22:49:21] &lt;<font color="#616161">GitHub&gt; [exult] marzojr pushed 1 new commit to master: https://github.com/exult/exult/commit/88c4a227ef30fd535bced9aeabdafbabf8091536</font><BR>
[22:49:21] &lt;<font color="#616161">GitHub&gt; exult/master 88c4a22 Marzo Sette Torres Junior: Fixing delete vs delete[] error (found by Valgrind).</font><BR>