いまさらかも知れませんが

「祝日に挟まれた日は休日になる」
という法律が出来て、5月4日は国民の祝日になったと
記憶していますが、いつの間にか『みどりの日』という
わけのわかんない祝日に変わっていました。

いつの間に？

ってか、そんな必要あったの？