夏休みに入ってから、受水槽の更新作業や子どもたちが使用するトイレの洋式化工事が進められています。