Obviously, that user should have been muted - the only question is whether DrConor intentionally didn't mute them or whether he just missed the messages. You say he canceled your report, do you happen to have proof of this? A recording preferably, unless you managed to quickly press the screenshot button the moment it got canceled.
BBCode