[13:03] hi there [13:09] no MIR people here? [13:10] I'm around, but nothing to discuss [13:20] same as didrocks [13:24] I also saw nothing new coming in the last week that would not have been picked by one of us already === mapreri_ is now known as mapreri === jdstrand_ is now known as jdstrand === cjwatson_ is now known as cjwatson === ErichEickmeyer is now known as Eickmeyer