Closed Ms2ger closed 8 years ago
07:43
jorendorff: what are requests for nowadays? 07:44 yeah, not much - it's vestigial 07:44 we should rip it out 07:50 till: I don't think there's any interaction with requests in the rooting api
See also discussion in https://bugzilla.mozilla.org/show_bug.cgi?id=1267297
https://github.com/servo/rust-mozjs/pull/258#issuecomment-213615809
If that's true, we wouldn't have to deal with requests in any code downstream of this crate (which would make me very happy!).