Blink... thanks! and also for the tips.
On Wed, Nov 8, 2023 at 1:48 PM Bruce Momjian <br...@momjian.us> wrote: > On Mon, Aug 19, 2019 at 04:00:13PM -0700, Joshua D. Drake wrote: > > Team, > > > > New version attached with spelling errors fixed. > > After four years, patch applied to master. I know reviews had trouble > reviewing this, and I found git diff --word-diff=color to be very > helpful for this patch. > > -- > Bruce Momjian <br...@momjian.us> https://momjian.us > EDB https://enterprisedb.com > > Only you can decide what is important to you. >