Optimizer: Fix and unify query capitalization#44

jnidzwetzki wants to merge 1 commit into

mainsecondo-database/secondo:mainfrom

jan/fix_optimizersecondo-database/secondo:jan/fix_optimizerCopy head branch name to clipboard