Czy pracownik, który odchodzi na emeryturę z końcem lipca, powinien mieć również dzień wolny za 15 sierpnia?

Pracownik z końcem lipca 2020 r. odchodzi na emeryturę. Tymczasem w 2020 r. święto 15 sierpnia wypada w sobotę, ponieważ obowiązuje nas 4-miesięczny okres rozliczeniowy, burmistrz podjął decyzję, że dzień ten zostanie oddany pracownikom w dniu 12 czerwca 2020 r.

Czy pracownik, który odchodzi na emeryturę i w sierpniu nie będzie już pracował, powinien mieć również (jak reszta pracowników) dzień wolny w dniu 12 czerwca 2020 r.?