<div class="gmail_quote">On Sun, Apr 24, 2011 at 05:28, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
  It could be that this fix just needs to be backported to petsc 3.1</blockquote></div><br><div>Done.</div>