From 9a76b0496f47469e1dd1a9a789ff5bb460e6cf6e Mon Sep 17 00:00:00 2001
From: Bill Thiede <git@xinu.tv>
Date: Wed, 3 Dec 2025 09:48:43 -0800
Subject: [PATCH] Fix user name listing

---
 aocsync.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/aocsync.py b/aocsync.py
index 85c8fc2..0703658 100755
--- a/aocsync.py
+++ b/aocsync.py
@@ -1127,7 +1127,7 @@ class HTMLGenerator:
         </div>
         
         <div class="controls">
-            <p><strong>Users:</strong> {', '.join(sorted(users))}</p>
+            <p><strong>Users:</strong> """ + ', '.join(sorted(users)) + """</p>
         </div>
 """