[18:22:13] &lt;<font color="#616161">GitHub&gt; [exult] marzojr merged master into coverity_scan: https://git.io/vQOcK</font><BR>