[06:49:37] *** Joins: proteus-guy (~proteus-l@184.82.234.227)
[11:29:11] *** Quits: proteus-guy (~proteus-l@184.82.234.227) (Ping timeout: 272 seconds)
[13:35:57] *** Quits: daherb (~daherb@cse-principia.cse.chalmers.se) (Quit: leaving)
[13:43:29] *** Joins: daherb (~daherb@cse-principia.cse.chalmers.se)