<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>