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 webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev