DoD does have some .gov domains, so it would affect them in that way. But .mil is not affected.