From 75625b143c1286d3ef83700af22553adaf7cf7c9 Mon Sep 17 00:00:00 2001
From: espeon65536 <espeon65536@gmail.com>
Date: Wed, 1 Dec 2021 21:53:52 -0600
Subject: [PATCH] Core: better pretty-print for OptionList when the list is of
 non-strings

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

diff --git a/Options.py b/Options.py
index 03fb0c84..cd4d9148 100644
--- a/Options.py
+++ b/Options.py
@@ -292,7 +292,7 @@ class OptionList(Option):
         return cls.from_text(str(data))
 
     def get_option_name(self, value):
-        return ", ".join(value)
+        return ", ".join(map(str, value))
 
     def __contains__(self, item):
         return item in self.value