On Fri, Feb 14, 2020 at 6:09 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> > Language updates attached...mostly kept Tom's suggestions.>> Typo (optoin), otherwise LGTM.
Great. Pushed with that tweak.
-- Peter Geoghegan