#194253 + (756) 
<chanman3> does irc stay open on christmas