Log of the #nice channel on irc.freenode.net

Using timezone: Central European Time
* cm_ leaves00:21
* arjanb leaves02:20
* arjanb joins09:39
* cm_ joins12:07
hi arjanb
<arjanb>hi12:27
did you have time do anything with Nice last weeks?12:33
<cm_>nope, I have been busy finishing a paper. I hope to submit it next week or so.13:57
arjanb: Any mind-blowing progress in the last weeks?14:15
* cm_ leaves14:38
* pitecus leaves14:53
* pitecus joins
* pitecus leaves14:59
* pitecus joins15:00
* pitecus leaves16:31
* c_cinq joins18:45
<arjanb>hello19:10
* arjanb leaves19:45
* pitecus joins22:54
* c_cinq leaves23:34