On Wed, Apr 20, 2022 at 10:54 AM David G. Johnston <david.g.johnston@xxxxxxxxx> wrote:
(I haven't figured out what the official way to reference a commit is, I use the GitHub clone for research so there ya go).
Nevermind...not a huge fan of gitweb yet but I do have the commit from the message sent to -committers.
David J.