On Thu, Mar 20, 2025 at 4:33 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > While I don't care much about the filename per se, I do note that > we embed copyright notices into most generated files. Why > not this one?
I don't care enough to argue about it. I suppose one can make an argument for a variety of things. -- Robert Haas EDB: http://www.enterprisedb.com
