Fix duplicate key due to non-lowercase collections in MongoDB#24998

ebyhr merged 1 commit into

trinodb:mastertrinodb/trino:masterfrom

ebyhr:ebi/mongodb-case-insensitivyebyhr/trino:ebi/mongodb-case-insensitivyCopy head branch name to clipboard