From 43502f89bf6346115c388b80a6c7f559a336d000 Mon Sep 17 00:00:00 2001
From: Carl Worth <cworth@cworth.org>
Date: Sat, 27 Jun 2020 17:31:34 -0700
Subject: [PATCH] Track server change of grouping players with tied scores

This makes it more clear that players tied by displaying them in the
same row, (which also saves some space if there are a lot of ties).
---
 empathy/empathy.jsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/empathy/empathy.jsx b/empathy/empathy.jsx
index 2c70bc3..85738f3 100644
--- a/empathy/empathy.jsx
+++ b/empathy/empathy.jsx
@@ -1067,7 +1067,7 @@ class Game extends React.PureComponent {
             {state.scores.scores.map(score => {
               return (
                 <li key={score.player}>
-                  {score.player}: {score.score}
+                  {score.players.join("/")}: {score.score}
                 </li>
               );
             })}
-- 
2.43.0