Re: The word "virgin" used incorrectly and probably better off replaced

[Daniel Gustafsson]

> On 8 Nov 2019, at 16:19, Tom Lane <t...@sss.pgh.pa.us> wrote:

> So the patch becomes s/virgin/pristine/g plus add a parenthetical
> definition for the first use?  Works for me.

Agreed.

cheers ./daniel