<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><br>
</p>
<br>
<div class="moz-cite-prefix">On 04/12/2017 17:01, Matthew Knepley
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAMYG4Gke0H=mpTzTtPYBskOQt_sFUJktcGx4BAL8Qr-M1e6+-A@mail.gmail.com">
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">On Fri, Dec 1, 2017 at 5:50 AM,
Matteo Semplice <span dir="ltr"><<a
href="mailto:matteo.semplice@unito.it" target="_blank"
moz-do-not-send="true">matteo.semplice@unito.it</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF">
<p>Thanks for the fix!</p>
<p>(If you need a volunteer for testing the bug-fix,
drop me a line)<br>
</p>
</div>
</blockquote>
<div>Cool. Its in next, and in </div>
<div><br>
</div>
<div> <a
href="https://bitbucket.org/petsc/petsc/branch/knepley/fix-plex-fvm-adjacency"
moz-do-not-send="true">https://bitbucket.org/petsc/petsc/branch/knepley/fix-plex-fvm-adjacency</a></div>
<div><br>
</div>
<div> Thanks,</div>
<div><br>
</div>
<div> Matt</div>
<br>
</div>
</div>
</div>
</blockquote>
Works for me.<br>
Thank you!<br>
Matteo<br>
</body>
</html>