Re: Duplicating website's formatting in local doc builds

[Peter Geoghegan]

On Fri, Feb 14, 2020 at 6:09 PM Tom Lane <t...@sss.pgh.pa.us> wrote:
> > Language updates attached...mostly kept Tom's suggestions.
>
> Typo (optoin), otherwise LGTM.

Great. Pushed with that tweak.

-- 
Peter Geoghegan