mirror of
https://github.com/MariaDB/server.git
synced 2025-09-03 16:12:07 +02:00
3 lines
45 B
PHP
3 lines
45 B
PHP
if (!$MTR_GARBD_EXE) {
|
|
skip Needs garbd;
|
|
}
|