Damn Mecurial. I know this won't happen with git On Feb 15, 2013, at 6:10 PM, Jed Brown <[email protected]> wrote:

On Fri, Feb 15, 2013 at 4:31 PM, Barry Smith <[email protected]> wrote:

Pushed. Off to play Pandemic

Oops.

https://bitbucket.org/petsc/petsc-dev/commits/3410d5fe5456048e71b071a2162d62...