Shortly after Oklahoma State defensive coordinator Derek Mason announced his resignation on Thursday, head coach Mike Gundy and university athletic director Chad Weiberg both reacted via social media, thanking Mason for his time spent with the Cowboys.