From f86bdca1e82d3f60da36b62721355d06769d7cc4 Mon Sep 17 00:00:00 2001 From: David Carlisle Date: Sat, 7 Oct 2023 12:33:22 +0100 Subject: [PATCH] swap index.html and spec.html --- spec.html | 1 + 1 file changed, 1 insertion(+) diff --git a/spec.html b/spec.html index 7ab0a5f..9c15317 100644 --- a/spec.html +++ b/spec.html @@ -6252,3 +6252,4 @@

Conformance

+