How do I unmute a user that I muted?

I muted our bot because he would spam me with notifications, but now I can't find a way to unmute him.