[Echidna] ✔️ Success: https://www.w3.org/TR/2018/WD-server-timing-20181017/ from Echidna on 2018-10-17 (public-tr-notifications@w3.org from October 2018)

From: Echidna <sysbot+echidna@w3.org>
Date: Wed, 17 Oct 2018 14:00:03 +0000
To: public-tr-notifications@w3.org
Message-ID: <f378a01c-8005-795d-5113-0ec580215585@w3.org>

✔️ Echidna just published “Server Timing”
  (WD-server-timing-20181017), a WD:

  👍 https://www.w3.org/TR/2018/WD-server-timing-20181017/

More details are available here:

  https://labs.w3.org/echidna/api/status?id=63953d4a-0ff9-4c48-a9f2-07c8fee71739

~ 10/17/2018, 2:00:03 PM

-- 
Echidna 1.14.2 (Specberus 3.9.2)
Copyright © 2014–2018 W3C — https://www.w3.org/

Received on Wednesday, 17 October 2018 14:00:04 UTC