連休

 5月の連休を10日まで延長しよう、というニュースも。

どうする。