On 2/7/24 14:23, Gerald Pfeifer wrote:
On Tue, 19 Dec 2023, Jeff Law wrote:
Pushed to the trunk.

Is this minor follow-up okay, adding a full stop and shortening a bit?
Yes, of course.

Thanks.
jeff

Reply via email to