[Echidna] ✔️ Success: https://www.w3.org/TR/2020/WD-server-timing-20200728/ from Echidna on 2020-07-28 (public-tr-notifications@w3.org from July 2020)

From: Echidna <sysbot+echidna@w3.org>
Date: Tue, 28 Jul 2020 06:26:10 +0000
To: public-tr-notifications@w3.org
Message-ID: <ca042c08-46f8-cefd-7084-3888f18c4aa9@w3.org>

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

  👍 https://www.w3.org/TR/2020/WD-server-timing-20200728/

More details are available here:

  https://labs.w3.org/echidna/api/status?id=3d61ece7-5c3d-427f-8c48-11c10d218dac

~ 7/28/2020, 6:26:10 AM

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

Received on Tuesday, 28 July 2020 06:26:11 UTC