suppress lint error for removed doc ID terminating-a-task-group

belm0 · belm0 · commit 1ce0b40293f5 · 2026-04-22T19:56:00.000-07:00
diff --git a/Doc/tools/removed-ids.txt b/Doc/tools/removed-ids.txt
@@ -3,3 +3,5 @@
 # Remove from here in 3.16
 c-api/allocation.html: deprecated-aliases
 c-api/file.html: deprecated-api
+
+library/asyncio-task.html: terminating-a-task-group
