mirror of https://github.com/MariaDB/server
Browse Source
Problem was that cost_group_min_max() could not handle if group by was optimized away.pull/171/head
3 changed files with 35 additions and 1 deletions
Loading…
Reference in new issue