mirror of
https://github.com/MariaDB/server.git
synced 2026-05-05 14:45:31 +02:00
merge: 5.1-rpl (with merge from main) -> 5.1-rpl
This commit is contained in:
commit
47e19cf2d5
265 changed files with 7141 additions and 4062 deletions
|
|
@ -261,7 +261,7 @@ sub mtr_report_stats ($) {
|
|||
{
|
||||
mtr_warning("Got errors/warnings while running tests, please examine",
|
||||
"'$warnlog' for details.");
|
||||
}
|
||||
}
|
||||
|
||||
print "\n";
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue