[webkit-dev] WebKit servers transitioning to new hardware

[Manuel Rego Casasnovas]

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