Re: [w3ctag/design-reviews] Early design review: scheduler.yield() (Issue #827) from Peter Linss on 2023-08-01 (public-webapps-github@w3.org from August 2023)

From: Peter Linss <notifications@github.com>
Date: Tue, 01 Aug 2023 16:39:57 -0700
To: w3ctag/design-reviews <design-reviews@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <w3ctag/design-reviews/issue/827/issue_event/9982014505@github.com>

Closed #827 as completed.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3ctag/design-reviews/issues/827#event-9982014505
You are receiving this because you are subscribed to this thread.

Message ID: <w3ctag/design-reviews/issue/827/issue_event/9982014505@github.com>

Received on Tuesday, 1 August 2023 23:40:03 UTC