Issue #11727: add --timeout option to regrtest (disabled by default).
2 files changed