The U.S. Supreme Court officially brought to an end the legal fight over grand jury information from Special Counsel Robert Mueller III’s investigation, after both the Biden administration’s Department of Justice and the House of Representatives agreed the case is now moot.

The justices, in an unsigned order Friday, granted a motion from the DOJ to vacate the U.S. Court of Appeals for the D.C. Circuit’s order requiring it to provide the Mueller grand jury materials to the House Judiciary Committee. The Democratic-controlled committee sued in 2019 for the information as members decided whether to impeach then-President Donald Trump; he was later impeached twice, on grounds not directly stemming from the Mueller probe.