From e223bc51f3ca7655a0a190c462e8a43997eee0dd Mon Sep 17 00:00:00 2001 From: brusshamilton Date: Tue, 24 Sep 2024 18:46:49 +0000 Subject: [PATCH] [spec] Remove redundant 'is chaff' field (#1282) SHA: d21ed7f01a1fb7fe9675c73d1f08ebb5e4cf8346 Reason: push, by qingxinwu Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- index.html | 371 ++++++++++++++++++++++++++++------------------------- 1 file changed, 199 insertions(+), 172 deletions(-) diff --git a/index.html b/index.html index 0fac2ade6..3f860e72b 100644 --- a/index.html +++ b/index.html @@ -6,7 +6,7 @@ - +