*MERGE* Merge the latest trunk enhancements, and especially the enhancement to the
WHERE-clause push-down optimization, into the bedrock branch. (tags: bedrock)
↧