Re: Fwd: Proposed document change

[Arthur A. Gleckler]

On Wed, Dec 7, 2022 at 8:02 AM Bradley Lucier <luc...@purdue.edu> wrote:

> I've updated the pull request.
>

Thanks very much.  I've merged, noted, and pushed the changes.