On Thu, Oct 26, 2023 at 4:03 PM Bruce Momjian <bruce(at)momjian(dot)us> wrote:
>> Sure, done in the attached patch.>>WFM. Thank You!
David J.