mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 10:22:39 +03:00
Increase deadlock-timeout to cater for slow test-machines (possibly running several tests in parallell)
This will hopefully remove some volatile testfailures in pushbuild
(i've seen a couple by looking at logs)