In order to move vger.kernel.org from one co-location facilityto another, there will be a downtime on Dec 12th and 13th.The IP address will change but the hostname will stay the sameof course.Sorry for any inconvenience this may cause.