On Wed, Oct 30, 2019 at 01:43:55PM -0400, Bruce Momjian wrote:> Thanks for the patch. I slightly modified the wording and applied the> attached patch.
Thanks Bruce!--Michael