I'm sure it was - so much so that Reddit had to change policies and their algorithms significantly because they were getting flooded by it. r/the_donald's activity and prominence died very sharply right after the elections, and I can't believe that Reddit rolled out their changes right after said elections; I prefer to believe the trolls and bots just stopped or slowed down a lot because mission achieved.

However, I'm still waiting for Russia to massively benefit from the Trump administration.