Re: Add missing period to DETAIL messages

[Peter Smith]

On Tue, Jul 21, 2026 at 11:44 PM Peter Eisentraut <pe...@eisentraut.org> wrote:
>
> committed
>

Thanks for pushing.

======
Kind Regards,
Peter Smith.
Fujitsu Australia