Re: [w3c/ServiceWorker] Editorial: Fix lint error (PR #1802)

Merged #1802 into main.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/ServiceWorker/pull/1802#event-20687127806
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/ServiceWorker/pull/1802/issue_event/20687127806@github.com>

Received on Monday, 3 November 2025 23:15:05 UTC