The parties involved are tying up some loose ends in Florida’s fight for marriage equality.

Attorney General Pam Bondi filed a document in U.S. District Court stating that the marriage ban is moot and no longer needs a judge’s attention:

“There is no need for anything further from this court. The United States Supreme Court has held that states must recognize same-sex marriage, and state officials will comply with the Supreme Court’s decision.”

The filing is in response to a request from the plaintiffs that the federal judge issue a summary judgment ruling Florida’s ban unconstitutional and permanently prohibiting enforcement of the ban.

In this case, the appeal was still pending when the U.S. Supreme Court ruled in June 2015 that same-sex marriage is legal nationwide. Additionally, a District judge ruled Florida’s ban unconstitutional in August of 2014 and Florida gay couples began marrying in January of 2015.