Closed bangerth closed 4 years ago
This actually reads really well already. This pull request has a number of text edits, but the bigger questions are in comments on plan.urssi.us.
Most of the suggestions were relevant. I made most of them while addressing other comments and made one final change to address the rest. @bangerth approved closing the request without merging it.
This actually reads really well already. This pull request has a number of text edits, but the bigger questions are in comments on plan.urssi.us.