<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jan 15, 2013 at 9:29 AM,  <span dir="ltr"><<a href="mailto:dag@cray.com" target="_blank">dag@cray.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">Eric Christopher <<a href="mailto:echristo@gmail.com">echristo@gmail.com</a>> writes:<br>
<br>
> That sounds weird and buggy, that said, checking the version should work.<br>
><br>
> David: do you mind reverting your patch temporarily to get Duncan's bots<br>
> green while you look into it (if it'll be more than another hour or two)?<br>
<br>
</div>I'm working on a fix right now.  Show be committed soon.<br></blockquote><div><br></div><div style>Awesome. Thanks.</div><div style><br></div><div style>-eric </div></div></div></div>