3 ms·
Please report it :) If it's a known bug we'll just close it. If you want, see if you can find dupes on the issue tracker before filing, but don't spend too muc
by Manishearth 11y ago
Please report it :)
If it's a known bug we'll just close it. If you want, see if you can find dupes on the issue tracker before filing, but don't spend too much time doing that.
- acdha 11y agoThanks – RUST_BACKTRACE was enough to turn up https://github.com/servo/servo/issues/9931 https://github.com/servo/servo/issues/9931. I opened https://github.com/servo/servo/issues/10018 https://github.com/servo/servo/issues/10018 as well.