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

From: Gregory Terzian <notifications@github.com>
Date: Sun, 04 Jan 2026 23:32:38 -0800
To: w3c/IndexedDB <IndexedDB@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/IndexedDB/pull/484/before/b4699fe218baedd7d0fc1768f47626cdb81c8e00/after/f4>

@gterzian pushed 1 commit.

f4d5a478afc96863e5bdda0b632f5af009c98f2e  remove redundant pendingUpgrade flag.

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

Message ID: <w3c/IndexedDB/pull/484/before/b4699fe218baedd7d0fc1768f47626cdb81c8e00/after/f4>

Received on Monday, 5 January 2026 07:32:42 UTC