IRC channel logs
2023-07-19.log
back to list of logs
<rekado>
we’ve got some breakage due to the merge of tex-team branch
<rekado>
fixed