From ca0ca04618334dd72c33d037c49a2afd2f1d112c Mon Sep 17 00:00:00 2001
From: reffy-bot <>
Date: Wed, 15 Jan 2025 01:34:58 +0000
Subject: [PATCH] Update of TR report from new reffy run

Using reffy commit 18.1.2.
---
 tr/index.json         | 10 +++++-----
 tr/links/webmidi.json |  1 +
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/tr/index.json b/tr/index.json
index 5e1d6c7ec0e6..8aa60f76a0aa 100644
--- a/tr/index.json
+++ b/tr/index.json
@@ -1,7 +1,7 @@
 {
   "type": "crawl",
   "title": "Reffy crawl",
-  "date": "2025-01-14T01:34:29.062Z",
+  "date": "2025-01-15T01:34:47.994Z",
   "options": {
     "fallback": "tr/index.json",
     "output": "report",
@@ -723,7 +723,7 @@
         "https://aomediacodec.github.io/av1-spec/"
       ],
       "crawled": "https://aomediacodec.github.io/av1-spec/av1-spec.pdf",
-      "date": "14 January 2025",
+      "date": "15 January 2025",
       "links": "links/av1-spec.json",
       "cddl": []
     },
@@ -21235,11 +21235,11 @@
       ],
       "crawled": "https://www.w3.org/TR/webmidi/",
       "crawlCacheInfo": {
-        "lastModified": "Tue, 07 Jan 2025 16:19:49 GMT"
+        "lastModified": "Tue, 14 Jan 2025 18:10:51 GMT"
       },
       "generator": "respec",
-      "date": "07 January 2025",
-      "revision": "6e85e43aac6f6c04141af37a3c1f1993f5dabb37",
+      "date": "14 January 2025",
+      "revision": "1183f733069e2d54dd6497b9674d5a7165e8152c",
       "algorithms": "algorithms/webmidi.json",
       "links": "links/webmidi.json",
       "refs": "refs/webmidi.json",
diff --git a/tr/links/webmidi.json b/tr/links/webmidi.json
index 2e00884540b3..b47d64ac7dc0 100644
--- a/tr/links/webmidi.json
+++ b/tr/links/webmidi.json
@@ -18,6 +18,7 @@
       "https://github.com/WebAudio/web-midi-api/commit/0c79114": {},
       "https://github.com/WebAudio/web-midi-api/commit/0de9357": {},
       "https://github.com/WebAudio/web-midi-api/commit/0ec8576": {},
+      "https://github.com/WebAudio/web-midi-api/commit/1183f73": {},
       "https://github.com/WebAudio/web-midi-api/commit/1316439": {},
       "https://github.com/WebAudio/web-midi-api/commit/13b09ff": {},
       "https://github.com/WebAudio/web-midi-api/commit/1594149": {},