For the maintenance of our workstations and laptops we will perform updates and patches These have been tested in advance and therefore it should be transparent to users. Installation of patches during (re)boot may take 5 to 10 minutes. It may take several days for all employee pc’s to be serviced. Public pc’s are patched at a fixed time, Mondaynight December 5th.