夏休みは何日?

そろそろ夏休みを決定しないといけないので、先輩にそれとなく「夏休みいつとったらよろしいでしょうか?」と聞いたら、「作業が発生しない期間で」という返答。多分8月初旬になるだろう。
まぁ夏休みは3日しかないので、ちょっとゆっくりする程度かと。