hi all, because of cleaning and reorganizing most of the (desktop)-servers will be offline between 14:30 and 16.
this servers are: 18.85.46.27 tubes.laptop.org 18.85.46.54 teach.laptop.org 18.85.46.34 bombadil.infradead.org 18.85.46.30 xs-dev.laptop.org (xs.laptop.org) 18.85.46.40 schoolserver.media.mit.edu 18.85.46.94 media.laptop.org 18.85.47.212 xen1.laptop.org server that will follow next days: thinker.laptop.org kydon.media.mit.edu cu dogi _______________________________________________ Devel mailing list Devel@lists.laptop.org http://lists.laptop.org/listinfo/devel
