[teiid-commits] [teiid/teiid] d07038: TEIID-3123 ensuring a null ordering is not pushed