> On Nov 17, 2016, at 10:21 AM, Osztrogonác Csaba <o...@inf.u-szeged.hu> wrote: > > Hi, > > it seems WKR and webkitbot left #webkit IRC channel > on 4th Nov and we can't see them since then. > > It would be great if somebody could > find and ask them to come back.
Top people are working on this. We had to do some network reconfiguring on the hosts that ran these bots. Simon _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev
