Czy pracodawca powinien oddać pracownikowi dzień wolny z 11 listopada, jeśli pracownik przebywał na zwolnieniu lekarskim?

U pracodawcy pracownicy pracują od pon do pt po 8 h dziennie. Okres rozliczeniowy wynosi 3 mies. W 2017 r. 11 listopada przypada w sobotę. Pracownik przebywa na zwolnieniu chorobowym od 6 do 17 listopada. Czy temu pracownikowi przysługuje również dodatkowy dzień wolny za święto przypadające w sobotę. W piśmiennictwie są sprzeczne opinie - jedni twierdzą, że chorobowe już obniżyło wymiar czasu pracy i wolny dzień się nie należy, a inni uważają, że chorobowe nie obniża wymiaru czasu pracy i pracownikowi należy "oddać" dzień wolny za 11 listopada, pomimo, że w tym dniu chorował.