Hi, Dunno if it was related to this or something else but planet.webkit.org is not being updated since March 10, 2017.
Thanks, Rego _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
