Thread:PLANET23K/@comment-27600937-20190815221756/@comment-27600937-20190816082545

I wasn’t aware that that bug existed, assuming it exists and hasn’t been fixed, hopefully we don’t run into any issues or need to change the name of roles. If that happens I don’t know what to do.