@maslinux No está mal, aunque yo preferiría que de una vez junten estos dos días festivos uno detrás de otro, o que pasen uno de ellos a otra semana cualquiera, el periodo de tiempo que va desde el 6 de enero hasta el 1 de mayo está muy desierto de festivos y diciembre ya está plagado.