libera/#devuan-dev/ Thursday, 2022-05-12
« Wednesday, 2022-05-11
Index
Saturday, 2022-05-14 »
gnu_srs1
I've now shut down build005. If anybody wants it up again, please tell me, and explain why it should be. Currently it is unused.
14:35
« Wednesday, 2022-05-11
Index
Saturday, 2022-05-14 »
Generated by irclog2html.py 2.17.0 by
Marius Gedminas
- find it at
https://mg.pov.lt/irclog2html/
!