[13:03] <doko> hi there
[13:09] <doko> no MIR people here?
[13:10] <didrocks> I'm around, but nothing to discuss
[13:20] <cpaelzer> same as didrocks
[13:24] <cpaelzer> I also saw nothing new coming in the last week that would not have been picked by one of us already