<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jan 9, 2013 at 2:12 PM,  <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>
>     I prefer that too, but I followed the style in the rest of<br>
>     <a href="http://configure.ac" target="_blank">configure.ac</a>.<br>
><br>
><br>
><br>
><br>
> Hrm. Probably conflicting. Let's go with the style that you and I like<br>
> and we'll fix up the rest sometime :)<br>
<br>
</div>Urk.  Didn't see this before I actually committed.<br></blockquote><div><br></div><div style>Enh, no worries.</div><div style><br></div><div style>-eric </div></div></div></div>