On Fri, May 17, 2024 at 4:59 PM Tom Lane <tgl@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