Corrección de errores de la Resolución de 9 de octubre de 2017, de la Dirección General de Empleo, por la que se publica la relación de fiestas laborales para el año 2018.