Jak ewidencjonować dzień wolny za sobotę?

Święto 15 sierpnia w 2020 r. wypada w sobotę. W związku z tym pracodawca musi oddać niektórym grupom pracowników inny dzień wolny od pracy. Jak odnotować to w ewidencji czasu pracy?