대체공휴일이 적용되는 공휴일이 따로 있는 것 같은데 현재로서는 몇 개가 있나요?
국군의 날 같은 경우는 공휴일 등으로 지정이 안된것 같은데 대체공휴일이 적용되는 공휴일은 현재로서는 몇 개인가요?