今年の5月6日は休日である。ってか、最近気づいたんだが。でも、なんで火曜日なのに休日なのかわからなかった。
調べてみたら、祝日に関する法律に改定があったらしい。

• 国民の祝日について

日曜と祝日が重なった場合、一番近い平日が振替休日になるようになったからだ。5月4日(日)はみどりの日で、月曜がこどもの日で祝日なんで、さらに次の日の5月6日が振休になってた訳だ。

でも、結構この5月6日の振替休日に対応してないところがある。Googleカレンダーの日本の祝日も対応されていない。
携帯のカレンダーも対応されていなかった。その他、グループウェアも対応されてないのあると思う。
なもんで、気付いてなかったのだよ。