On Fri, May 17, 2024 at 4:59 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > As I mentioned upthread, I'm more worried about confusing error > reports than the machine time.
Well, Jelte fixed that. > I grant that there are people who are more affected, but still, I'd > just as soon not contort the build rules for a temporary problem. Arguably by doing this, but I don't think it's enough of a contortion to get excited about. Anyone else want to vote? -- Robert Haas EDB: http://www.enterprisedb.com
