Thanks. Removal bug is https://bugs.webkit.org/show_bug.cgi?id=175557.
Simon > On Aug 12, 2017, at 8:52 AM, Michael Catanzaro <mcatanz...@igalia.com> wrote: > > That's our old deleted API. We don't expose that API anymore so that won't be > a problem for us. > > Michael > _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev