Issue #11727: set regrtest default timeout to 15 minutes
2 files changed