Re: [w3c/IndexedDB] Add TLA+ spec for core concurrency of spec (PR #484) from Gregory Terzian on 2026-01-06 (public-webapps-github@w3.org from January 2026)

From: Gregory Terzian <notifications@github.com>
Date: Tue, 06 Jan 2026 05:10:39 -0800
To: w3c/IndexedDB <IndexedDB@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/IndexedDB/pull/484/before/019b1eec66394d8a645dc96312bf2c0dbfd581bc/after/40>

@gterzian pushed 1 commit.

404868a6d9a07f16e11155dedaa0d89d3f93b091  readability of next

-- 
View it on GitHub:
https://github.com/w3c/IndexedDB/pull/484/files/019b1eec66394d8a645dc96312bf2c0dbfd581bc..404868a6d9a07f16e11155dedaa0d89d3f93b091
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/IndexedDB/pull/484/before/019b1eec66394d8a645dc96312bf2c0dbfd581bc/after/40>

Received on Tuesday, 6 January 2026 13:10:43 UTC