Monday, 2020-07-20

openstackgerrit	Merged openstack/election master: Switch to newer openstackdocstheme version https://review.opendev.org/734854	17:35

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!