They were pretty clear about this in their response (linked in the article) Once the immediate effects were mitigated, we turned our attention to fixing th

They were pretty clear about this in their response (linked in the article) Once the immediate effects were mitigated, we turned our attention to fixing the bug and communicating with our customers. We created a permanent fix for the bug and began deploying it at 17:25. So they did both. First reverted the config then later fixed the bug.