[Echidna] ✔️ Success: https://www.w3.org/TR/2019/WD-server-timing-20190122/ from Echidna on 2019-01-22 (public-tr-notifications@w3.org from January 2019)

From: Echidna <sysbot+echidna@w3.org>
Date: Tue, 22 Jan 2019 14:28:44 +0000
To: public-tr-notifications@w3.org
Message-ID: <d2effa9d-d74d-06e4-0c8d-18d5764cda30@w3.org>

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

  👍 https://www.w3.org/TR/2019/WD-server-timing-20190122/

More details are available here:

  https://labs.w3.org/echidna/api/status?id=7124ee11-ed20-4cb6-ba66-89b45c895699

~ 1/22/2019, 2:28:44 PM

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

Received on Tuesday, 22 January 2019 14:28:46 UTC