Sunday, 2018-08-05

*** michchap has quit IRC14:46
openstackgerritMerged openstack/congress-specs master: Z3 as an alternative Datalog engine  https://review.openstack.org/58071122:40
openstackgerritMerged openstack/congress-dashboard master: Fix repeat ID problem in library policy display  https://review.openstack.org/58768222:43

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