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

Using timezone: Central European Time
<arjanb>what are you working on now?02:34
<bonniot>not working just now02:36
i did the reachability of assert false this afternoon
but you probably saw that on nice-commit02:37
good night02:59
* bonniot leaves03:00
* baver leaves03:08
* arjanb leaves04:21
* Bob_ joins04:53
* Bob_ leaves04:54
* baver joins15:42