Whale Rock-Schwenk merger approved