mirror of
https://github.com/servo/servo.git
synced 2025-06-12 18:34:39 +00:00
When loading HTTP requests, initialise the request ID only if devtools are used, to lessen the pressure put on the RNG initialisation. This tentatively fixes #11100 on OS X. |
||
---|---|---|
.. | ||
cors_cache.rs | ||
methods.rs |