<div dir="ltr">noted. yeah, i wasn't planning to actually make them clash :)<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 21, 2018 at 10:25 AM, Lucas Cordiviola <span dir="ltr"><<a href="mailto:lucarda27@hotmail.com" target="_blank">lucarda27@hotmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 2/21/2018 2:47 PM, Alex wrote:<br>
> Considering this should be a drop in replacement for the expr family,<br>
> a clash wouldn't actually be problematic if we can define which one is<br>
> preferred, though I'm not sure if that is possible so maybe I'll just<br>
> stick with the "jit" prefix.<br>
<br>
</span>Please try to avoid name clash. Once you prefer one you can't get the other.<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
--<br>
<br>
Mensaje telepatico asistido por maquinas.<br>
<br>
<br>
</div></div></blockquote></div><br></div>