On Mon, Jan 26, 2015 at 4:57 AM, Stefano Rivera <stefanor@debian.org> wrote: > This is not yet known. They do usually run on a reduced schedule during > holidays, though. Can you document this schedule? Richard