
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt'>

<p>On 19/04/2015 00:15, Roland Dobbins wrote:</p>

<blockquote type="cite" style="padding: 0 0.4em; border-left: #1010ff 2px solid; margin: 0">

<div class="pre" style="margin: 0; padding: 0; font-family: monospace"><br /> On 18 Apr 2015, at 16:32, Noel Butler wrote:<br /><br />

<blockquote type="cite" style="padding: 0 0.4em; border-left: #1010ff 2px solid; margin: 0">and the problem would be identified and fixed much faster than if it was by your assumptions.</blockquote>

<br /> I'm not assuming anything; I'm reporting directly observed experience.<br /><br /> YMMV.</div>

<div class="pre" style="margin: 0; padding: 0; font-family: monospace"> </div>

</blockquote>

<div class="pre" style="margin: 0; padding: 0; font-family: monospace"> </div>

<div class="pre" style="margin: 0; padding: 0; font-family: monospace">your "direct observed experience" is clearly different from mine, as likely others.</div>

<div class="pre" style="margin: 0; padding: 0; font-family: monospace"> </div>

</body></html>