From 0fa4b128f6b1ebe44d3c91620c0e8f4341adc9a1 Mon Sep 17 00:00:00 2001 From: Oliver Dunk Date: Thu, 18 Jan 2024 16:25:47 +0000 Subject: [PATCH] Merge pull request #484 from w3c/persistence-update SHA: 3a2e5244eb71fbde1b9632bb5264636d108861bf Reason: push, by oliverdunk Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- specification/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/specification/index.html b/specification/index.html index 93a84ef2..901b33e5 100644 --- a/specification/index.html +++ b/specification/index.html @@ -7,7 +7,7 @@ - +