mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 03:17:20 +02:00
rename the result file to its correct name
This commit is contained in:
parent
d73e04588b
commit
b8cab18d40
1 changed files with 0 additions and 0 deletions
Loading…
Add table
Add a link
Reference in a new issue