On Wed, Jan 23, 2019 at 7:24 PM Andrew Gierth
<andrew@tao11.riddles.org.uk> wrote:
> >>>>> "Andres" == Andres Freund <andres@anarazel.de> writes:
>
> [IDENTIFICATION]
>
> Andres> I think we should just rip them out. It's useless noise.
>
> +1
Here's a patch like that.
948 files changed, 3215 deletions(-)
--
Thomas Munro
https://enterprisedb.com