Friday, 2018-07-06

*** akhil_jain has joined #congress05:23
*** masahito has joined #congress05:24
*** masahito has quit IRC08:24
*** openstackgerrit has quit IRC15:19
*** ekcs has quit IRC15:52
*** openstackgerrit has joined #congress16:15
openstackgerritPierre Crégut proposed openstack/congress-specs master: Z3 as an alternative Datalog engine  https://review.openstack.org/58071116:15
*** ekcs has joined #congress17:28
*** ekcs has quit IRC17:28
*** ekcs has joined #congress17:29
*** AlexeyAbashkin has joined #congress18:24
*** AlexeyAbashkin has quit IRC18:43
*** AlexeyAbashkin has joined #congress18:47
*** AlexeyAbashkin has quit IRC18:59
*** AlexeyAbashkin has joined #congress19:58
*** AlexeyAbashkin has quit IRC20:05

Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!