[petsc-dev] close ts-fixes branch?

[Jed Brown]

This branch was merged long ago and I'm inclined to close it (hg commit
--close-branch, the history is of course still there, it just won't show
up as an active head).  Any objections?

Jed