Closed shikokuchuo closed 1 year ago
This is a narrowly-scoped PR, updating only for the current mirai interface.
mirai
I would encourage merging this so it is easier for both of us to keep track. I reverted a change I had made in development mirai as it inadvertently broke some code here, but luckily I checked.
This is a narrowly-scoped PR, updating only for the current
mirai
interface.