1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00

MDEV-5430: Debian MariaDB-Galera packages do not get built in buildbot [Part 4]

Missed one file name change.
This commit is contained in:
Jan Lindström
2013-12-11 10:45:49 +02:00
parent 92a15782f9
commit ea6f92662c