Czy trzeba rekompensować dodatkową godzinę przepracowaną w nocy podczas zmiany czasu letniego na zimowy

Zatrudniamy pracowników na nocne zmiany. Pracują oni w systemie podstawowym czasu pracy na trzy zmiany (w tym nocną), również w weekendy. Pracownicy wykonywali pracę w nocy z 28 na 29 października 2023 r. w godz. 22.00–6.00. Z powodu zmiany czasu letniego na zimowy pracowali tej nocy przez 9 godzin zamiast 8 godzin. Czy w związku z tym należy zrekompensować pracownikom dodatkowo przepracowaną 1 godzinę?