[petsc-dev] is DMSetDS not in master?

[Mark Adams via petsc-dev]

10:37 master= ~/Codes/petsc$ git grep DMSetDS
src/dm/interface/dm.c:.seealso: DMGetDS(), DMSetDS()
10:37 master= ~/Codes/petsc$