IRC logs for #cip for Monday, 2020-05-04

*** szlin_ has quit IRC01:17
*** szlin has joined #cip01:56
*** robert__ has joined #cip06:57
*** tpollard has joined #cip08:41
*** tpollard is now known as cttpollard10:41
*** robert__ has quit IRC10:45
*** rajm has joined #cip10:54
rynofinnhello, I see that kernelci.ciplatform.org is shut down.  Is that intentional?  Should I work to get it back in service?14:29
*** cttpollard has quit IRC18:01
*** rajm has quit IRC22:11

Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!