Probably want a new buildfarm flag/icon for it then - maybe a monkey wrench? :)
- Re: Change default of jit to off Tomas Vondra
- Re: Change default of jit to off Tom Lane
- Re: Change default of jit to off Pierre Ducroquet
- Re: Change default of jit to off Jelte Fennema-Nio
- Re: Change default of jit to off Andres Freund
- Re: Change default of jit to off Tomas Vondra
- Re: Change default of jit to off Tomas Vondra
- Re: Change default of jit to... Thomas Munro
- Re: Change default of ji... Andrew Dunstan
- Re: Change default of ji... Greg Sabino Mullane
- Re: Change default of ji... Andrew Dunstan
- Re: Change default of ji... Tomas Vondra
- Re: Change default of ji... Tomas Vondra
