wish 7d4559b589 variable changes

2023-01-15 21:36:50 +11:00

..

channelserver

variable changes

2023-01-15 21:36:50 +11:00

discordbot

…

entranceserver

defer closing entranceserver connections

2022-10-18 12:03:12 +11:00

signserver

rearrange config options

2022-11-07 00:30:24 +11:00

signv2server

rename sign server and merge conflicts

2022-11-07 08:37:40 +11:00