I think it's fine to shoot it in the head now. We do still want to come back to it eventually, but it's now apparent that we won't in the next 1.5 months.
- Maciej On Jan 17, 2013, at 4:15 PM, Adam Barth <aba...@webkit.org> wrote: > Maciej has asked that we keep it around until the end of February: > > https://bugs.webkit.org/show_bug.cgi?id=100710 > > Adam > > > On Thu, Jan 17, 2013 at 4:10 PM, Ryosuke Niwa <rn...@webkit.org> wrote: >> Hi, >> >> It has been 11 months since Eric initially raised the concern. Can we go >> ahead and remove the parser now? >> >> - R. Niwa >> >> >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> http://lists.webkit.org/mailman/listinfo/webkit-dev >> > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > http://lists.webkit.org/mailman/listinfo/webkit-dev _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev