[09:59:13] --- Eric Allman has joined
[10:00:55] --- Eric Allman has left