mirror of https://github.com/MariaDB/server
Browse Source
Fix an issue in Single_line_formatting_helper: flush_on_one_line() didn't clean up the buffered items which could cause them to be printed for the second time. This can't be ever observed by a user (see MDEV text for details).pull/236/head
1 changed files with 2 additions and 0 deletions
Loading…
Reference in new issue