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

From: Echidna <sysbot+echidna@w3.org>
Date: Mon, 20 Apr 2020 12:14:32 +0000
To: public-tr-notifications@w3.org
Message-ID: <8070a9e9-aa4d-f9c7-a590-fd75237c1a44@w3.org>

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

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

More details are available here:

  https://labs.w3.org/echidna/api/status?id=e578bb6e-d685-4575-87d0-b96fe5560c47

~ 4/20/2020, 12:14:32 PM

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

Received on Monday, 20 April 2020 12:14:34 UTC