
<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 David, 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="divRpF510081"><font size="2" face="Tahoma" color="#000000"><b>From:</b> David Blaikie [dblaikie@gmail.com]<br>

<b>Sent:</b> Tuesday, February 24, 2015 5:11 PM<br>

<b>To:</b> Radjino Bholanath<br>

<b>Cc:</b> cfe-dev@cs.uiuc.edu<br>

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

</font><br>

</div>

<div></div>

Not exactly (& not sure what definition of 'contributor' you are using). <br>

<div>

<div dir="ltr">

<div class="gmail_extra">

<div class="gmail_quote"><br>

...

<div><br>

I don't think we have any bots running any SA systems, but I guess some people run them manually from time to time and cleanup things. </div>

</div>

<br>

</div>

</div>

</div>

</div>

</div>

</body>

</html>