#817843 (1732) <phil> ok ok ops quiz <phil> what's the command to leave an irc channel? * Garron has quit IRC (Quit: )