Are Huma Abedin and Anthony Weiner officially devorced?

They withdrew the divorse case from court in January 2018.

Did they settle privately? Or did they need spousal privilege?