<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Nov 15, 2013 at 4:40 PM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank" class="cremed">hfinkel@anl.gov</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Chandler, are you okay with me committing this as is? As noted, I think that it matches the existing design.</blockquote>
</div><br>I suppose. This is bad enough that someone needs to go clean up the entire file immediately... but I guess I shouldn't hold up this patch on that front.</div></div>