From a4b8cdfb33dbac459b136d476241df5a8741c664 Mon Sep 17 00:00:00 2001 From: Matthew Miller Date: Tue, 12 Sep 2023 13:59:38 +0000 Subject: [PATCH] Merge pull request #1932 from w3c/1852-emphasize-user-name SHA: 58d60d0eee4418531db98973bca5e6382c62de09 Reason: push, by MasterKale Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- index.html | 759 +++++++++++++++++++++++++++-------------------------- 1 file changed, 383 insertions(+), 376 deletions(-) diff --git a/index.html b/index.html index 8b6ecf306..afa886322 100644 --- a/index.html +++ b/index.html @@ -6,7 +6,7 @@ - +