<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 6, 2017 at 4:15 PM, David Haslam <span dir="ltr">&lt;<a href="mailto:dfhmch@googlemail.com" target="_blank">dfhmch@googlemail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Are we sure it&#39;s an &quot;off by 2&quot; error and not just an email typo?<br></blockquote><div><br></div><div>I&#39;m not sure of that at all. It was my first guess, but being off by 2 would seem strange to me, as I would expect a &quot;fat finger&quot; error to produce an off-by-1 or a spurious extra digit added. But Karl would need to verify that.<br> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
I wasn&#39;t expecting decimal, I just didn&#39;t parse it as octal.<br></blockquote><div><br></div><div>In the context of Octal, the values make the most sense as a typo on one side or the other, to me.<br><br></div><div>--Greg<br></div><div> <br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
David<br>
<br>
<br>
<br>
--<br>
View this message in context: <a href="http://sword-dev.350566.n4.nabble.com/diatheke-search-type-regex-and-the-dot-tp4656879p4656914.html" rel="noreferrer" target="_blank">http://sword-dev.350566.n4.<wbr>nabble.com/diatheke-search-<wbr>type-regex-and-the-dot-<wbr>tp4656879p4656914.html</a><br>
<div class="HOEnZb"><div class="h5">Sent from the SWORD Dev mailing list archive at Nabble.com.<br>
<br>
______________________________<wbr>_________________<br>
sword-devel mailing list: <a href="mailto:sword-devel@crosswire.org">sword-devel@crosswire.org</a><br>
<a href="http://www.crosswire.org/mailman/listinfo/sword-devel" rel="noreferrer" target="_blank">http://www.crosswire.org/<wbr>mailman/listinfo/sword-devel</a><br>
Instructions to unsubscribe/change your settings at above page<br>
</div></div></blockquote></div><br></div></div>