mirror of https://github.com/MariaDB/server
Browse Source
Implement it in a different way that works on both release and debug builds, and still uses --skip instead of --require.pull/57/head
1 changed files with 3 additions and 2 deletions
Loading…
Reference in new issue