> On 16 Apr 2022, at 22:26, Tom Lane <t...@sss.pgh.pa.us> wrote: > I'm not quite sure what's the point of retail fixes. I could > get behind removing *all* these occurrences, and then adjusting > .gitattributes so that git bleats about introducing new ones. > Other folks might find that a little too obsessive-compulsive, > though.
If we don't want them in the docs in the first place (which I agree that we don't), I would prefer them highlighted sooner rather than later. -- Daniel Gustafsson https://vmware.com/
