<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
If I've followed the instructions in 
<div><br>
</div>
<div><a href="https://bitbucket.org/petsc/petsc/wiki/quick-dev-git">https://bitbucket.org/petsc/petsc/wiki/quick-dev-git</a></div>
<div><br>
</div>
<div>correctly, there should be a "feature branch" (really just some man page edits in one file) from me for review.</div>
<div><br>
</div>
<div>Let me know if not.</div>
<div><br>
</div>
<div>Victor.</div>
<div><br>
</div>
</body>
</html>