何か海の日をまた7月20日固定に戻すって話が出ているらしいが。
むしろハッピーマンデーそのものを廃止しろと。