<html dir="ltr">

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>

</head>

<body ocsi="0" fpstyle="1">

<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Thanks for answering Tristan, I appreciate it.<br>

<br>

- Radjino<br>

<div style="font-family: Times New Roman; color: #000000; font-size: 16px">

<hr tabindex="-1">

<div style="direction: ltr;" id="divRpF229236"><font size="2" face="Tahoma" color="#000000"><b>From:</b> vlc-devel [vlc-devel-bounces@videolan.org] on behalf of Tristan Matthews [tmatth@videolan.org]<br>

<b>Sent:</b> Tuesday, February 24, 2015 7:52 PM<br>

<b>To:</b> Mailing list for VLC media player developers<br>

<b>Subject:</b> Re: [vlc-devel] Questions about code reviews and static analysis tools for TU Delft research<br>

</font><br>

</div>

<div></div>

<div>

<div dir="ltr">No, but developers with commit access will often send patches to the mailing list for discussion as needed (i.e. for clarifications or for major changes).

<br>

<div class="gmail_extra">

<div class="gmail_quote">

<div><br>

...<br>

<br>

</div>

<div>Coverity scan, also I (and probably others) use scan-build from time to time.<br>

<br>

</div>

<div>Best,<br>

</div>

<div>Tristan<br>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</body>

</html>