He's dead, Jim: https://bugs.webkit.org/show_bug.cgi?id=107522
On Thu, Jan 17, 2013 at 5:54 PM, Maciej Stachowiak <m...@apple.com> wrote: > > 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 _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
