diff options
author | Emmanuel Bourg <ebourg@apache.org> | 2015-07-22 11:10:04 +0200 |
---|---|---|
committer | Emmanuel Bourg <ebourg@apache.org> | 2015-07-22 13:15:09 +0200 |
commit | cce4f196a355c4898ebb73b40bd877b73821c356 (patch) | |
tree | 0ed1b31d4868cf17122c0b14e225523d712565c0 /debian/patches/series | |
parent | 8cd2b27d244d3fefe44000f91c1a7829ee86f335 (diff) |
Increased the default conversion timeout to 30 seconds (Closes: #779973)
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 7bd4240..43dc470 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1 +1,2 @@ 01-ignore-antlr-plugin.patch +02-increase-default-conversion-timeout.patch |