| *** irclogbot_0 has quit IRC | 00:38 | |
| *** masahito has joined #congress | 04:21 | |
| *** masahito has quit IRC | 06:10 | |
| *** openstackgerrit has joined #congress | 06:11 | |
| openstackgerrit | Eric Kao proposed openstack/congress-specs master: Experimental repo for a JSON data model https://review.openstack.org/616077 | 06:11 |
|---|---|---|
| *** ekcs has quit IRC | 06:29 | |
| openstackgerrit | Pierre Crégut proposed openstack/congress master: builtins for z3 theories https://review.openstack.org/616134 | 10:01 |
| *** irclogbot_0 has joined #congress | 17:02 | |
| *** ekcs has joined #congress | 17:19 | |
| *** ekcs has quit IRC | 17:38 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!