/srv/irclogs.ubuntu.com/2023/05/05/#mir-server.txt
-GitHub[m]12:#mir-server- **[MirServer/mir]** bors[bot] merged [pull request #2379](
https://github.com/MirServer/mir/pull/2379
): [ci] add coverage reporting
12:35
Generated by irclog2html.py 2.7 by
Marius Gedminas
- find it at
mg.pov.lt
!