On Fri, Jul 8, 2016 at 5:50 PM, Jim Blandy <jbla...@mozilla.com> wrote: > Our web console UI uses some HTML/CSS features that Servo doesn't yet > support. We could file bugs for these if they would be of interest to you; > would they?
My understanding is that Servo is happy to have such issues on file. A while ago when the devtools.html experiment first came up (during Mozlando), we started filing a few issues for missing Servo features needed by DevTools UI with a meta issue[1] to track them. It seems logical to me to add on more issues as needed to the meta issue there. We could also make a more focused console-only meta issue. [1]: https://github.com/servo/servo/issues/8973 - Ryan _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
