Fix faulty flag#13123

raunaqmorarka merged 3 commits into

trinodb:mastertrinodb/trino:masterfrom

skrzypo987:skrzypo/080-fix-force-spilling-operator-flagskrzypo987/trino:skrzypo/080-fix-force-spilling-operator-flagCopy head branch name to clipboard