Of the dripping was and water may have run. That's usually enough to let it dry out, then drywall patch and paint down the road once you're sure it's dry.