Resolución de 3 de octubre de 2019, de la Dirección General de Trabajo, por la que se publica la relación de fiestas laborales para el año 2020.