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 <[email protected]> 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 <[email protected]> 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 >> [email protected] >> http://lists.webkit.org/mailman/listinfo/webkit-dev >> > _______________________________________________ > webkit-dev mailing list > [email protected] > http://lists.webkit.org/mailman/listinfo/webkit-dev _______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo/webkit-dev
