drsingh - Server 2 - 2015-01-25, 11:20PM EST

[Cogwerks]

The grudge rule doesn't really apply to traitors/changelings/etc, they can kill anyone for any reason and they're generally encouraged to be jerks to other players.

It's fine that you reported it though, especially if you didn't know he was a server-selected Bad Dude that round.