[10:15:21] --- badamson has joined
[10:46:02] --- badamson has left
[16:35:25] --- miyahiro has joined
[16:36:07] --- miyahiro has left