Dear Jason, pull request has been merged into next about three weeks. Can it go into master now?
Best regards, Ce Qin
- [petsc-dev] pull request #193 Ce Qin
- Re: [petsc-dev] pull request #193 Jason Sarich
Dear Jason, pull request has been merged into next about three weeks. Can it go into master now?
Best regards, Ce Qin