3 ms·

That's the plan :)

• acdha 11y ago
  Do you have any advice for how quick we should be to report bugs? I just noticed my old homepage[1] crashes webrender (not normal rendering) after scrolling a bit and was wondering whether that kind of thing is worth reporting or if the code is in such active work that it's not worth wasting someone's time managing the issue. 1. http://chris.improbable.org http://chris.improbable.org
  • 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 ago
      Thanks – 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.