Closed bangerth closed 3 days ago
I will need these functions in deprecating whatever all of these Manager classes have been implementing on their own so far.
Manager
This is the next step for #1775.
I will need these functions in deprecating whatever all of these
Manager
classes have been implementing on their own so far.This is the next step for #1775.