1 parent 4fd7db7 commit 3e6f42aCopy full SHA for 3e6f42a
1 file changed
src/Std/Http/Client/Config.lean
@@ -188,7 +188,6 @@ def apply (overrides : RequestOverrides) (config : Config) : Config :=
188
{ config with
189
requestTimeout := overrides.requestTimeout.getD config.requestTimeout
190
maxRedirects := overrides.maxRedirects.getD config.maxRedirects
191
- onlySafeRedirects := overrides.onlySafeRedirects.getD config.onlySafeRedirects
192
}
193
194
end RequestOverrides
0 commit comments