On 01/18/2013 08:25 AM, Boris Zbarsky wrote:
I vaguely recall some discussion on this going by. If people haven't already seen it, I recommend reading https://groups.google.com/forum/?fromgroups=#!topic/mozilla.dev.planning/CrwdQkJRfEM
Thanks for the link. I will give it a read now. There indeed hasn't been any activity on this front lately but it's on my list of things to resolve this month. Here's the relevant ticket: https://github.com/mozilla/servo/issues/45
-Brian _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
