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

From: Echidna <sysbot+echidna@w3.org>
Date: Fri, 19 Oct 2018 18:41:04 +0000
To: public-tr-notifications@w3.org
Message-ID: <5a5f11de-f039-dd70-382b-41d0d1c41c32@w3.org>

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

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

More details are available here:

  https://labs.w3.org/echidna/api/status?id=f01bf515-9168-47ab-a39c-8a93a536cfb6

~ 10/19/2018, 6:41:04 PM

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

Received on Friday, 19 October 2018 18:41:08 UTC