fortunately this doesn't seem to block or affect anything else, but it's annoying.
the problem is that we're using the discord identifier (name#nnnn) instead of the proper IDs. This is easy to change but I want to understand what exactly is happening first, to do it in a way that doesn't break everything.
gwillen
commented
3 years ago
fortunately this doesn't seem to block or affect anything else, but it's annoying.
the problem is that we're using the discord identifier (name#nnnn) instead of the proper IDs. This is easy to change but I want to understand what exactly is happening first, to do it in a way that doesn't break everything.