Closed glyn closed 1 year ago
@timbray Deleting the text should have addressed your original editorial issue. This PR also adds the missing cross-reference. If you're happy, please approve.
@timbray Deleting the text should have addressed your original editorial issue. This PR also adds the missing cross-reference. If you're happy, please approve.