[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 19:45:31 +0000
To: public-tr-notifications@w3.org
Message-ID: <ba618ff9-ed7b-1410-621b-ffe713cd85bb@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=76ed9bd0-effe-48e3-993c-446c867b4418

~ 10/19/2018, 7:45:31 PM

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

Received on Friday, 19 October 2018 19:45:36 UTC