[01:49:18] --- hildjj has become available
[01:58:06] --- hildjj has left
[09:00:47] --- eric_allman has become available
[09:01:20] --- eric_allman has left
[12:40:24] --- resnick has become available
[12:40:53] --- resnick has left: Disconnected
[12:44:58] --- resnick has become available
[13:09:37] --- resnick has left: Disconnected
[13:33:04] --- resnick has become available
[13:56:42] --- resnick has left: Disconnected