]> git.openstreetmap.org Git - chef.git/commitdiff
mediawiki: increase wgHTTPTimeout
authorGrant Slater <git@firefishy.com>
Fri, 5 Aug 2022 14:16:32 +0000 (17:16 +0300)
committerGrant Slater <git@firefishy.com>
Fri, 5 Aug 2022 14:16:32 +0000 (17:16 +0300)

No differences found