Closed bangerth closed 10 months ago
Fixes #562.
I believe that I've applied all of your changes. Thanks for the careful reading.
Fixes #562.