Merge branch 'dev' into player-control-ui

This commit is contained in:
2021-11-06 12:19:52 +01:00
committed by GitHub
12 changed files with 252 additions and 44 deletions
+5 -1
View File
@@ -1,5 +1,9 @@
from typing import Dict
from typing import List
from typing import Optional
from aioredis import Redis
from typing import Dict, List, Optional
from bot import redis_prefix
-1
View File
@@ -2,7 +2,6 @@
# Modified work Copyright (c) 2017 Perry Fraser
#
# Licensed under the MIT License. https://opensource.org/licenses/MIT
# Stolen line for line from paginator.py in R. Danny's code
# Added formatting and lots of blocking of inspections
import asyncio