On Wed, Jan 23, 2019 at 7:24 PM Andrew Gierth <and...@tao11.riddles.org.uk> wrote: > >>>>> "Andres" == Andres Freund <and...@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
0001-Drop-IDENTIFICATION-comment-blocks.patch.gz
Description: GNU Zip compressed data
