On Wed, Nov 8, 2023 at 1:48 PM Bruce Momjian <bruce@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.