A federal judge on Friday dismissed the case that pitted the Douglas County School District and nine students against the county board of health over a school mask requirement after the two sides agreed the suit was now moot after the board of health modified its public health order.