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

From: Echidna <sysbot+echidna@w3.org>
Date: Mon, 20 Jan 2020 07:59:47 +0000
To: public-tr-notifications@w3.org
Message-ID: <87fbdd57-b77d-3177-6cb8-6d2297430bd7@w3.org>

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

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

More details are available here:

  https://labs.w3.org/echidna/api/status?id=aac8a4ea-a570-4865-a996-0fdf21a34c87

~ 1/20/2020, 7:59:47 AM

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

Received on Monday, 20 January 2020 07:59:48 UTC