Thursday, 2023-11-02

amoralejjgilaber, i've left a comment in https://review.rdoproject.org/r/c/config/+/5070916:34
jgilaberthanks amoralej seems you're right, updating the patch right now16:35
amoraleji can merge it if it passes ci16:35
jgilaberthanks amoralej 16:58
amoralejthank you for fixing it!16:59

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