| *** ekcs has quit IRC | 02:18 | |
| *** masahito has joined #congress | 05:32 | |
| *** masahito has quit IRC | 05:36 | |
| *** masahito has joined #congress | 07:33 | |
| *** masahito has quit IRC | 07:37 | |
| *** dconde has quit IRC | 08:08 | |
| *** dconde has joined #congress | 08:13 | |
| *** dconde has quit IRC | 08:21 | |
| openstackgerrit | chenge proposed openstack/congress master: Correct spelling mistakes https://review.openstack.org/619491 | 09:32 |
|---|---|---|
| *** masahito has joined #congress | 09:33 | |
| *** masahito has quit IRC | 09:39 | |
| *** zigo has joined #congress | 10:02 | |
| openstackgerrit | Pierre Crégut proposed openstack/congress master: builtins for z3 theories https://review.openstack.org/616134 | 10:50 |
| openstackgerrit | Pierre Crégut proposed openstack/congress-tempest-plugin master: tempest test for z3 builtins https://review.openstack.org/619506 | 10:51 |
| openstackgerrit | Pierre Crégut proposed openstack/congress master: builtins for z3 theories https://review.openstack.org/616134 | 13:14 |
| openstackgerrit | Pierre Crégut proposed openstack/congress-tempest-plugin master: tempest test for z3 builtins https://review.openstack.org/619506 | 13:17 |
| *** dconde has joined #congress | 14:02 | |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!