Fix ui/game Player type (name can be null)

pull/9309/head
Benedikt Werner 2021-06-29 17:05:12 +02:00
parent 142e64d599
commit 15513a4dde
No known key found for this signature in database
GPG Key ID: 1DBFF0F8E9E121EB
1 changed files with 1 additions and 1 deletions

View File

@ -55,7 +55,7 @@ export type StatusId = number;
export interface Player {
id: string;
name: string;
name: string | null;
user?: PlayerUser;
spectator?: boolean;
color: Color;