If memory serves me a little, I think the bureau reviewed that merger and didn't find that it reached the threshold of a substantial lessening of competition. Here we're talking about remedies, so I don't think it would have had a bearing on it.
On April 30th, 2024. See this statement in context.