[petsc-dev] merge to master as soon as you have clean builds in next

[Barry Smith]

   Please remember to move your branches to master as soon as you have clean 
builds in next (despite Jed's delusions). This prevents nasty manual merges to 
next and master that break things. 

  Thanks

   Barry