IRC logs for #baserock for Tuesday, 2023-08-01

*** gitlab-br-bot <gitlab-br-bot!~gitlab-br@45.114.123.168> has quit IRC03:39
*** gitlab-br-bot <gitlab-br-bot!~gitlab-br@45.114.123.168> has joined #baserock03:40

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