Given that so many places are already disabling it, +1 to disabling by default - unless someone can come up with a costing tweak so it doesn't fire when it shouldn't - but right now that seems something only humans can truly determine.
- Change default of jit to off Jelte Fennema-Nio
- Re: Change default of jit to off Jim Jones
- Re: Change default of jit to off Laurenz Albe
- Re: Change default of jit to off Bernd Helmle
- Re: Change default of jit to off wenhui qiu
- Re: Change default of jit to off Euler Taveira
- Re: Change default of jit to off Pierre Ducroquet
- Re: Change default of jit to off Christoph Berg
- Re: Change default of jit to off Adrien Nayrat
- Re: Change default of jit to off Greg Sabino Mullane
- Re: Change default of jit to off Andres Freund
