<div dir="ltr"><br><br><div class="gmail_quote">On Fri, Oct 17, 2008 at 10:40 AM, Don Stewart <span dir="ltr">&lt;<a href="mailto:dons@galois.com">dons@galois.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
darcs has more important battles to fight.</blockquote><div><br>+1<br><br>We still don&#39;t have indentation patches! :)<br><br>Jason<br></div></div><br></div>