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

<p>On 2017-03-24 08:36, Chris Lamb 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 /> Oh, did I mark it as such? Apologies if so :)</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">No, the bug was absolutely correct - the error was my brain :-).</div>

<div> </div>

</body></html>