mirror of https://github.com/MariaDB/server
Browse Source
Fixed error processing in find_order_in_list(): if an error reported to user there is no sens to continue.pull/73/head
3 changed files with 27 additions and 1 deletions
Loading…
Reference in new issue